论文信息 - Assessing the size and complexity of formally specified conceptual models

Assessing the size and complexity of formally specified conceptual models

A number of measures are presented for the assessment of size and complexity of formally specified models of application domains. We show that formal specifications of the software problem domain can be rigorously measured using established theories like Measure Theory. The usefulness of the measures is addressed by commenting on the relationship between software measurement and software quality assurance.

Geert Poels | Guido Dedene | G. Poels | G. Dedene

[1] Peter P. Chen. The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[2] Kaizhong Zhang,et al. Simple Fast Algorithms for the Editing Distance Between Trees and Related Problems , 1989, SIAM J. Comput..

[3] Alistair Cockburn,et al. The Impact of Object-Orientation on Application Development , 1999, IBM Syst. J..

[4] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[5] Alfred V. Aho,et al. The theory of parsing, translation, and compiling. 1: Parsing , 1972 .

[6] Patrick Suppes,et al. Foundations of Measurement, Vol. II: Geometrical, Threshold, and Probabilistic Representations , 1989 .

[7] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[8] B. John Oommen,et al. Numerical Similarity and Dissimilarity Measures Between Two Trees , 1996, IEEE Trans. Computers.

[9] Lem O. Ejiogu. Beyond Structured Programming: An Introduction to the Principles of Applied Software Metrics , 1990, Struct. Program..

[10] Guido Dedene,et al. Formal Deadlock Elimination in an Object Oriented Conceptual Schema , 1995, Data Knowl. Eng..

[11] Norman E. Fenton,et al. Software Metrics: A Rigorous Approach , 1991 .

[12] G. Dedene,et al. M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method , 1994, SOEN.

[13] Alfred V. Aho,et al. The Theory of Parsing, Translation, and Compiling , 1972 .