Combining VDM-SL Specifications with C++ Code.

Brigitte Fröhlich Peter Gorm Larsen

Published in: FME (1996)

Keyphrases

source code
unit testing
control flow
code generation
high level
natural language
evolutionary algorithm
real time
functional requirements
object oriented
delay insensitive
static analysis
distributed systems
information systems
artificial intelligence
learning algorithm
neural network