• A Formal Specifications Maturi...

Treffer: A Formal Specifications Maturity MODEL.

Title:
A Formal Specifications Maturity MODEL.
Authors:
Fraser, Martin D., Vaishnavi, Vijay K.
Source:
Communications of the ACM. Dec1997, Vol. 40 Issue 12, p95-103. 9p. 1 Diagram, 5 Charts.
Subject Terms:
*Computer software development, *Computer programming management
Database:
Business Source Elite

Weitere Informationen

Proposes a measurement model to determine the capability maturity levels of formal specification processes in software development environments. Capabilities of the proposed model; Importance of developing a measurement model of formal specifications maturity process; Steps in using Formal Specifications Strategies Maturity (FSSM) model; Validation of the FSSM model; Conclusions.