Definition of the formal semantics of control state diagrams and implementation of a graphical editor
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Ulm, Universität Ulm, Masterarbeit, 2018
- Keyword
-
Abstrakte Zustandsmaschine
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm
- (when)
-
2018
- Creator
-
Leitz, Markus
- DOI
-
10.18725/OPARU-6921
- URN
-
urn:nbn:de:bsz:289-oparu-6978-4
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:27 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.
Associated
- Leitz, Markus
- Universität Ulm
Time of origin
- 2018
Other Objects (12)
Specification of graphical structure editors : the graphical editor generator system GEGS
A formal semantics of UML class diagrams based on transformation systems
A graphical approximation to generalization: Definitions and diagrams
Concept and implementation of a graphical editor for composite application templates
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
Defining domain specific operational semantics for activity diagrams
ODE: A Highly Customizable Graphical Object Design Editor
An Object-Oriented Graphical Editor for Distributed Application Development
UM : user modelling for graphical design ; concepts and prototype implementations for an user model of an intelligent graphical editor (IGE3)
PASS graphical editor user's guide : document number GE-UG-2.0
The Elements of Graphical Arithmetic and Graphical Statics
On a Graph-Based Semantics for UML Class and Object Diagrams
Specification of graphical structure editors : the graphical editor generator system GEGS
A formal semantics of UML class diagrams based on transformation systems
A graphical approximation to generalization: Definitions and diagrams
Concept and implementation of a graphical editor for composite application templates
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
Defining domain specific operational semantics for activity diagrams
ODE: A Highly Customizable Graphical Object Design Editor
An Object-Oriented Graphical Editor for Distributed Application Development
UM : user modelling for graphical design ; concepts and prototype implementations for an user model of an intelligent graphical editor (IGE3)
PASS graphical editor user's guide : document number GE-UG-2.0
The Elements of Graphical Arithmetic and Graphical Statics
On a Graph-Based Semantics for UML Class and Object Diagrams
Specification of graphical structure editors : the graphical editor generator system GEGS
A formal semantics of UML class diagrams based on transformation systems
A graphical approximation to generalization: Definitions and diagrams
Concept and implementation of a graphical editor for composite application templates
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
Defining domain specific operational semantics for activity diagrams
ODE: A Highly Customizable Graphical Object Design Editor
An Object-Oriented Graphical Editor for Distributed Application Development
UM : user modelling for graphical design ; concepts and prototype implementations for an user model of an intelligent graphical editor (IGE3)
PASS graphical editor user's guide : document number GE-UG-2.0
The Elements of Graphical Arithmetic and Graphical Statics