Prototyping VDM specifications with KIDS.

Yves Ledru Marie-Hélène Liégeois

Published in: KBSE (1992)

Keyphrases

learning activities
delay insensitive
code generation
functional requirements
computer technology
development process
finite state machines
high level
database
neural network
design requirements
concurrent systems
design process
formal specification
control flow
rapid prototyping
real time