Object-oriented modeling and design
Object-oriented modeling and design
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
UMLAUT: An Extendible UML Transformation Framework
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
v-Promela: A Visual, Object-Oriented Language for SPIN
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
| Hi-index | 0.00 |