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
1999A sematical framework for the integration of object-oriented modeling languages
Klar, M.
Dissertation
1998Dimensions and dichotomy in metamodeling
Geisler, R.; Klar, M.; Pons, C.
Conference Paper
1998Dimensions and dichotomy in metamodeling
Geisler, G.; Klar, M.; Pons, C.
Book
1998Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
Ehrig, H.; Geisler, R.; Klar, M.
Journal Article
1998A metamodel for object-oriented statecharts
Mann, S.; Klar, M.
Conference Paper
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
1993Ein Fallbeispiel für KorSo. Ist-Analyse für HDMS-A
Cornelius, F.; Klar, M.; Löwe, M.
Book
1992Ein Fallbeispiel für KORSO. Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der TU Berlin
Cornelius, F.; Klar, M.; Löwe, M.
Book