Hochschulschrift
An integrated operational semantics for a UML core based on graph transformation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832510718
3832510710
- Maße
-
21 cm
- Umfang
-
III, 138 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2005
- Erschienen in
-
BISS monographs / Bremer Institut für Sichere Systeme ; 23
- Klassifikation
-
Informatik
- Schlagwort
-
UML
Sequenzdiagramm
OCL
Operationale Semantik
Graphersetzungssystem
Transformationsregel
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
2006
- Urheber
-
Ziemann, Paul
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Ziemann, Paul
- Logos-Verl.
Entstanden
- 2006
Ähnliche Objekte (12)
Operational semantics of UML 2.0 interactions
Semantics of UML state machines
A heterogeneous approach to UML semantics
UML 2.0 interactions: semantics and refinement
A formal semantics for UML interactions
Executable hybridUML semantics : a transformation definition
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]
Improvements in a functional core language with call-by-need operational semantics : [version 1.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 heterogeneous approach to UML semantics
UML 2.0 interactions: semantics and refinement
A formal semantics for UML interactions
Executable hybridUML semantics : a transformation definition
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]
Improvements in a functional core language with call-by-need operational semantics : [version 1.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 heterogeneous approach to UML semantics
UML 2.0 interactions: semantics and refinement
A formal semantics for UML interactions
Executable hybridUML semantics : a transformation definition
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]
Improvements in a functional core language with call-by-need operational semantics : [version 1.0]
Semantics of UML 2.2 State Machines in Rewriting Logic
Semantics of probabilistic processes : an operational approach