Searching for authors named "Marcus Klar" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Precise UML Semantics Through Formal Metamodeling
- …Precise UML Semantics Through Formal Metamodeling Robert Geisler , Marcus Klar and Stefan…
- Cited by 3 (0 self) – Add To MetaCart
-
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study
- … , Robert Geisler 1 , and Marcus Klar 2 1 Technische Universitat Berlin, Institut fur Kommunikations- und…
- Cited by 13 (6 self) – Add To MetaCart
-
Dimensions and Dichotomy in Metamodeling
- …Dimensions and Dichotomy in Metamodeling Robert Geisler, Marcus Klar, Claudia Pons Bericht-Nr. 98…
- Cited by 13 (1 self) – Add To MetaCart
-
Horizontal and Vertical Structuring Techniques for Statecharts
- … , Marcus Klar , Julia Padberg Technische Universitat Berlin, FB Informatik Sekr. 6-1, Franklinstr. 28/29, D…
- Cited by 8 (6 self) – Add To MetaCart
-
Horizontal and Vertical Structuring Techniques for Statecharts
- … , Robert Geisler , Marcus Klar , Julia Padberg Technische Universitat Berlin, FB Informatik Sekr…
- Add To MetaCart
-
Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems
- … Bussow 1 , Robert Geisler 1 , Wolfgang Grieskamp 1 , and Marcus Klar 2 1 Technische Universitat…
- Add To MetaCart
-
Notation Version 1.0
- …The ��SZ Notation Version 1.0 Robert Bussow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar…
- Add To MetaCart
-
The µSZ Notation - Version 1.0
- …The SZ Notation Version 1.0 Robert Bussow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar…
- Cited by 10 (5 self) – Add To MetaCart
-
Integrating Object-Oriented Modeling Techniques with Formal Specification Techniques. A Metamodel-based Approach
- …-based Approach Partners: - Fraunhofer Institut ISST, Berlin, Germany (Prof. Dr. Herbert Weber, Marcus Klar…
- Add To MetaCart
Showing 1 through 9.
