Formal Specification and Design Time Testing.

Christopher Paul Gerrard Derek Coleman Robin M. Gallimore

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

formal specification
object oriented design
specification languages
formal methods
design methodology
model checking
case study
design process
data abstraction
design methodologies
database systems
reverse engineering
object oriented systems
formal specification language