Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The unified software development process
The unified software development process
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
DSDM: Dynamic Systems Development Method
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Applications and Extensions of SADT
Computer
A cognitive semantics for the association construct
Requirements Engineering
Object-oriented analysis and design with applications, third edition
ACM SIGSOFT Software Engineering Notes
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Enhancing UML extensions with operational semantics behaviored profiles with templates
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
Towards the verification of multi-diagram UML models
Proceedings of the 34th International Conference on Software Engineering
Towards scenario-based testing of UML diagrams
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.