


default search action
UML 2 Semantics and Applications 2009
- Kevin Lano:
UML 2 Semantics and Applications. Wiley 2009, ISBN 978-0-470-40908-4 - Kevin Lano:
Introduction to the Unified Modeling Language. 1-25 - Kevin Lano:
The Role of Semantics. 27-41 - Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
:
Considerations and Rationale for a UML System Model. 43-60 - Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
:
Definition of the System Model. 61-93 - Hong Zhu, Lijun Shan, Ian Bayley, Richard Amphlett:
Formal Descriptive Semantics of UML and Its Applications. 95-123 - Kevin Lano:
Axiomatic Semantics of UML Class Diagrams. 125-161 - Anneke Kleppe:
Object Constraint Language: Metamodeling Semantics. 163-178 - Kevin Lano, David Clark
:
Axiomatic Semantics of State Machines. 179-203 - María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger:
Interactions. 205-248 - Sun Meng, Luís Soares Barbosa
:
Co-Algebraic Semantic Framework for Reasoning about Interaction Designs. 249-280 - Kevin Lano:
Semantics of Activity Diagrams. 281-293 - Kevin Lano:
Verification of UML Models. 295-315 - Emil Sekerinski:
Design Verification with State Invariants. 317-347 - Kevin Lano:
Model Transformation Specification and Verification. 349-395

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.