For the most recent entries see the Petri Nets Newsletter.

Measurement and prediction of the verification cost of the design in a formalized methodology.

Fernandez, L.; Dolado, J.J.

In: Information and Software Technology, Vol. 41, No. 7, pages 421-434. 1999.

Abstract: This article presents a new way to enhance the prediction of software attributes in the first stages of software life cycle through the study of the relationships among the elements of models used in different development phases. A system to predict the cost of verifying the design derived from data flow diagrams (DFD) was defined using this approach in structured analysis and metrics (SAM) a formalized methodology. The construction and validation of measures for featuring design attributes is based on a solid theoretical analysis of the properties that should be found in the measured object. Prediction validity is achieved as a logical consequence of development relationships between and among the involved models. Moreover, some empirical data is included to enable observation of the application of the system. The article concludes that this approach can also lead to prediction enhancement through process improvement in other methodologies like SSADM or the object-oriented (OO) ones.

Keywords: Petri nets, design measurement, formalized methodology, prediction systems, software engineering, software metrics.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography