Real Time Formal Specification using VDM++.

Eugène Dürr Stephen J. Goldsack Jan van Katwijk

Published in: SBES (1996)

Keyphrases

formal specification
real time
model checking
object oriented design
specification languages
specification language
formal methods
process algebra
reverse engineering
data abstraction
concurrent systems
databases
quality of service
multistage
business rules