The Z notation: a reference manual
The Z notation: a reference manual
Information modeling: an object-oriented approach
Information modeling: an object-oriented approach
Roles for composite objects in object-oriented analysis and design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Towards rigorous analysis of fusion models: the MIRG experiences
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
On Associations in the Unified Modelling Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Transformations and Software Modeling Languages: Automating Transformations in UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Formalizing UML class diagrams
UML and the unified process
On the Semantics of Associations and Association Ends in UML
IEEE Transactions on Software Engineering
Towards realizing a formal RBAC model in real systems
Proceedings of the 12th ACM symposium on Access control models and technologies
UML Static Models in Formal Approach
Balancing Agility and Formalism in Software Engineering
| Hi-index | 0.00 |
The Unified Modeling Language (UML) is a standard modeling language in which some of the best object-oriented (OO) modeling experiences are embedded. In this paper we illustrate the role formal specification techniques can play in developing a precise semantics for the UML. We present a precise characterization of requirements-level (problem-oriented) Class Diagrams and outline how the characterization can be used to semantically analyze requirements Class Diagrams.