Hochschulschrift
An integrated operational semantics for a UML core based on graph transformation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832510718
3832510710
- Dimensions
-
21 cm
- Extent
-
III, 138 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2005
- Bibliographic citation
-
BISS monographs / Bremer Institut für Sichere Systeme ; 23
- Classification
-
Informatik
- Keyword
-
UML
Sequenzdiagramm
OCL
Operationale Semantik
Graphersetzungssystem
Transformationsregel
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2006
- Creator
-
Ziemann, Paul
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 13.06.2025, 1:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Ziemann, Paul
- Logos-Verl.
Time of origin
- 2006
Other Objects (12)
Operational semantics of UML 2.0 interactions
Semantics of UML state machines
A formal semantics for UML interactions
UML 2.0 interactions: semantics and refinement
A heterogeneous approach to UML semantics
Executable hybridUML semantics : a transformation definition
Improvements in a functional core language with call-by-need operational semantics : [version 1.0]
Improvements in a functional core language with call-by-need operational semantics : [version 2.0]
Improvements in a functional core language with call-by-need operational semantics : [version 3.0]
Semantics of UML 2.2 State Machines in Rewriting Logic
Semantics of probabilistic processes : an operational approach
Operational semantics and verification of security protocols
Operational semantics of UML 2.0 interactions
Semantics of UML state machines
A formal semantics for UML interactions
UML 2.0 interactions: semantics and refinement
A heterogeneous approach to UML semantics
Executable hybridUML semantics : a transformation definition
Improvements in a functional core language with call-by-need operational semantics : [version 1.0]
Improvements in a functional core language with call-by-need operational semantics : [version 2.0]
Improvements in a functional core language with call-by-need operational semantics : [version 3.0]
Semantics of UML 2.2 State Machines in Rewriting Logic
Semantics of probabilistic processes : an operational approach
Operational semantics and verification of security protocols
Operational semantics of UML 2.0 interactions
Semantics of UML state machines
A formal semantics for UML interactions
UML 2.0 interactions: semantics and refinement
A heterogeneous approach to UML semantics
Executable hybridUML semantics : a transformation definition
Improvements in a functional core language with call-by-need operational semantics : [version 1.0]
Improvements in a functional core language with call-by-need operational semantics : [version 2.0]
Improvements in a functional core language with call-by-need operational semantics : [version 3.0]
Semantics of UML 2.2 State Machines in Rewriting Logic
Semantics of probabilistic processes : an operational approach