default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUML 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.
last updated on 2026-08-05 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
