Business information at work von Lowe, Michael

Evolution patterns ein formaler Ansatz zur Entwicklung langlebiger Softwaresysteme auf der Basis von Graphgrammatiken von Löwe, Michael

Dynamics in information systems specification, construction, and correctness ; an algebraic approach von Classen, Ingo, Gogolla, Martin, Löwe, Michael

Higher order object nets and their application to workflow modeling von Löwe, Michael, Wikarski, Dietmar, Han, Yanbo

Inhaltsverzeichnis

The Korso case study for software engineering with formal methods von Cornelius, Felix, Hußmann, Heinrich 1959-2022, Löwe, Michael

Process modelling and control with higher-order-nets von Löwe, Michael, Han, Yanbo

Ein Fallbeispiel für KorSo IST-Analyse für HDMS-A von Cornelius, Felix, Klar, Marcus, Löwe, Michael

Extended algebraic graph transformation von Löwe, Michael

Implementing algebraic specifications by graph transformation systems von Löwe, Michael

Daniel Hoffman A comprehensive bibliogr. von Lowe, Michael

Daniel Hoffman A comprehensive bibliogr. von Lowe, Michael

Evolution Patterns eine formale Methode zur Entwicklung langlebiger Softwaresysteme auf der Basis von Graphgrammatiken von Löwe, Michael

On the storage capacity of Hopfield models with weakly correlated patterns von Löwe, Michael

Theorie funktionaler Ersetzungssysteme eine Übersicht von Löwe, Michael, Müller, Jürgen

Inhaltsverzeichnis

Dynamic abstract data types based on algebraic graph transformations von Ehrig, Hartmut 1944-2016, Löwe, Michael, Orejas, Fernando

Process modelling and control witj higher-order-nets von Löwe, Michael

Algebraische Graphersetzung mathematische Modellierung und Konfluenz von Löwe, Michael, Müller, Jürgen

Parametric algebraic specifications with Gentzen formulas free functor semantics and correctness von Löwe, Michael, Wolter, Uwe

Inhaltsverzeichnis

Algebraic approach to graph transformation based on single pushout derivations with partial morphisms von Löwe, Michael

Daniel Hoffman von Lowe, Michael