Formal Specification in Metamorphic Programing.

David A. Penny Richard C. Holt Michael W. Godfrey

Published in: VDM Europe (1) (1991)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
process algebra
reverse engineering
data abstraction
formal methods
concurrent systems
model checker
fine grained
real world
software components
design methodologies
building blocks
cooperative