Assessing the size and complexity of formally specified conceptual models
Explore this paper's citation graph
Summary
It is shown that formal specifications of the software problem domain can be rigorously measured using established theories like Measure Theory using formally specified models of application domains.
- Type
- article
- Published
- 2007-01-01
- Cited by
- 0
- References
- 14
- OpenAlex
- https://openalex.org/W40241276
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:17452315
Keywords
Computer science, Software metric, Measure (data warehouse), Software measurement, Software
References
- Foundations of Measurement, Vol. II: Geometrical, Threshold, and Probabilistic Representations
- Beyond Structured Programming: An Introduction to the Principles of Applied Software Metrics
- The Theory of Parsing, Translation, and Compiling
- Simple Fast Algorithms for the Editing Distance Between Trees and Related Problems
- The Impact of Object-Orientation on Application Development
- Formal Deadlock Elimination in an Object Oriented Conceptual Schema
- M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
- Numerical Similarity and Dissimilarity Measures Between Two Trees
- The entity-relationship model: toward a unified view of data
- Software Metrics: A Rigorous Approach
- Software Engineering Economics
- The Entity-Relationship Model: Towards a unified view of Data
- The theory of parsing, translation, and compiling. 1: Parsing
Cited by
No citing papers recorded for this paper.
Related papers
- Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications
- Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991
- A Formal Approach to Specifications in Conceptual Design
- Formal Methods at SBES: Evolution and Perspectives
- MIRA: A tooling-framework to experiment with model-based requirements engineering
- Application of formal methods to software engineering
- Mechanised Assurance Cases with Integrated Formal Methods in Isabelle