Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1996Dynamics in information systems: specification, construction, and correctness. An algebraic approach.
Claßen, I.; Löwe, M.; Gogolla, M.
Buch
1996Framework-orientiertes Reengineering
Gastner, R.; Löwe, M.
Aufsatz in Buch
1996Object-oriented software development. Experiences and trends
Claßen, I.; Gastner, R.; Kriegel, E.U.; Löwe, M.; Mohr, I.; Tai, S.; Waßerroth, S.
Bericht
1996Verstehen von Software
Witschurke, R.; Löwe, M.
Aufsatz in Buch
1995Algebraic semantics for object-oriented modelling
Löwe, M.; Claßen, I.; Waßerroth, S.; Wortmann, J.
Buch
1995Alt-Software kann mit Erfolg saniert werden
Löwe, M.
Zeitschriftenaufsatz
1995CARE
Weber, H.; Löwe, M.
Aufsatz in Buch
1995Dynamic abstract data types based on algebraic graph transformations
Löwe, M.; Ehrig, H.; Orejas, F.
Konferenzbeitrag
1995Higher-Order object nets and their application to workflow modeling
Löwe, M.; Wikarski, D.; Han, Y.
Buch
1995The KORSO Case Study for software engineering with formal methods: A medical information system
Löwe, M.; Cornelius, F.; Hußmann, H.
Aufsatz in Buch
1995Parametric algebraic specifications with gentzen formulas - from quasi-freeness to free functor semantics
Löwe, M.; Wolter, U.
Zeitschriftenaufsatz
1995Reengineering und Neuentwicklung - zwei Seiten derselben Medaille
Löwe, M.
Konferenzbeitrag
1995Softwaretechnik mit Zukunft
Löwe, M.
Zeitschriftenaufsatz
1995Theorie funktionaler Ersetzungssysteme: eine Übersicht
Löwe, M.; Müller, J.
Buch
1994Critical pair analysis in single-pushout graph rewriting
Löwe, M.; Müller, J.
Konferenzbeitrag
1994Dynamic abstract data types based on algebraic graph transformations
Ehrig, H.; Löwe, M.; Orejas, F.
Buch
1994The KORSO case study for software engineering with formal methods
Cornelius, F.; Hussmann, H.; Löwe, M.
Buch
1994Process modelling and control with higher-order-nets
Löwe, M.; Han, Y.
Buch
1994Static and dynamic semantics of entity-relationship models based on algebraic methods
Löwe, M.; Claßen, I.; Waßerroth, S.; Wortmann, J.
Konferenzbeitrag
1994Umfassende Renovierung - neues Outfit für IMS-Anwendungen
Löwe, M.
Zeitschriftenaufsatz
1993Algebraic approach to single-pushout graph transformation
Löwe, M.
Zeitschriftenaufsatz
1993An algebraic framework for the transformation of attributed graphs
Löwe, M.; Kerff, M.; Wagner, W.
Aufsatz in Buch
1993Algebraische Graphersetzung
Löwe, M.; Müller, J.
Buch
1993Ein Fallbeispiel für KorSo. Ist-Analyse für HDMS-A
Cornelius, F.; Klar, M.; Löwe, M.
Buch
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.
Buch