Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2000Precise Semantics of Integrated Modeling Languages by Formal Metamodeling
Geisler, R.; Klar, M.; Mann, S.
Conference Paper
1998Dimensions and dichotomy in metamodeling
Geisler, R.; Klar, M.; Pons, C.
Conference Paper
1998Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
Ehrig, H.; Geisler, R.; Klar, M.
Journal Article
1998Specifying safety-critical embedded systems with statecharts and Z
Büssow, R.; Geisler, R.; Klar, M.
Conference Paper
1997Horizontal and vertical structuring techniques for statecharts
Klar, M.; Ehrig, H.; Geisler, R.; Padberg, J.
Conference Paper
1997Spezifikation einer Lichtsignalanlagen-Steuerung mit Mikro-SZ
Klar, M.; Mann, S.; Büssow, R.; Geisler, R.
Report
1997Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts
Klar, M.; Büssow, R.; Geisler, R.
Conference Paper
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1996MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
Klar, M.; Büssow, R.; Dörr, H.; Geisler, R.; Grieskamp, W.
Report