STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Principles of Database Systems
Principles of Database Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
The SAZ Project: Integrating SSADM and Z.
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Integrating object-oriented analysis and formal specifications
ACM SIGSOFT Software Engineering Notes
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
A component-based approach to building formal analysis tools
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System
Annals of Software Engineering
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
Enabling the refinement of a software architecture into a design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
| Hi-index | 0.00 |