Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A C D E F I M O R S U V

A
Animation	ViennaVM: a Virtual Machine for VDM-SL development
C
Co-Simulation	Multi-modelling of Cooperative Swarms Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
Code Generators	ViennaVM: a Virtual Machine for VDM-SL development
code-generation	Enhancing Testing of VDM-SL models
Continuous delivery	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software
continuous validation	Enhancing Testing of VDM-SL models
D
Design Space Exploration	Design Space Exploration for Secure Building Control
Discrete-Event	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
E
EMVCo	VDM at large: analysing the EMV Next Generation Kernel
F
FMI	Multi-modelling of Cooperative Swarms
Functional Mock-up Interface	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
I
Industrial application	Transforming an industrial case study from VDM++ to VDM-SL
M
Model transformations	Transforming an industrial case study from VDM++ to VDM-SL
multi-modelling	Multi-modelling of Cooperative Swarms Design Space Exploration for Secure Building Control
O
Optimisation	Design Space Exploration for Secure Building Control
Overture	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software VDM at large: analysing the EMV Next Generation Kernel Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
R
Real-Time	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
S
Security	Design Space Exploration for Secure Building Control VDM at large: analysing the EMV Next Generation Kernel
Smart Buildings	Design Space Exploration for Secure Building Control
Software as a Service	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software
swarms	Multi-modelling of Cooperative Swarms
U
unit testing	Enhancing Testing of VDM-SL models
V
VDM	Transforming an industrial case study from VDM++ to VDM-SL Enhancing Testing of VDM-SL models
VDM-RT	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
VDMJ	VDM at large: analysing the EMV Next Generation Kernel
Vienna Development Method (VDM)	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software
Virtual Machine	ViennaVM: a Virtual Machine for VDM-SL development