A Formal Specifications Maturity Model.

Martin D. Fraser Vijay K. Vaishnavi

Published in: Commun. ACM (1997)

Keyphrases

formal specification
maturity model
software maintenance
reverse engineering
iso iec
model checking
object oriented design
reference architecture
formal methods
enterprise resource planning
formal specification language
software engineering
software process
business process
expert systems
software components