Deriving Modular Designs from Formal Specifications.

David A. Carrington David J. Duke Ian J. Hayes Jim Welsh

Published in: SIGSOFT FSE (1993)

Keyphrases

formal specification
model checking
specification languages
object oriented design
concurrent systems
reverse engineering
specification language
formal methods
process algebra
protocol specification
modular structure
database
design methodology
semantic data models
temporal logic
user defined
software engineering