Löwe, Michael 1956-
Löwe, Michael 1956-2019
Löwe, Michael
Michael Löwe deutscher Informatiker und Hochschullehrer
VIAF ID: 107877404 (Personal)
Permalink: http://viaf.org/viaf/107877404
Preferred Forms
- 100 1 _ ‡a Löwe, Michael ‡d 1956-2019
-
-
-
- 100 1 _ ‡a Löwe, Michael ‡d 1956-
- 100 0 _ ‡a Michael Löwe ‡c deutscher Informatiker und Hochschullehrer
4xx's: Alternate Name Forms (5)
5xx's: Related Names (4)
- 510 2 _ ‡a Berlin, Techn. Univ
- 551 _ _ ‡a Bielefeld ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Fachhochschule für die Wirtschaft ‡g Hannover ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Fachhochschule für die Wirtschaft
Works
Title | Sources |
---|---|
Algebraic development of a syntax directed editor | |
Algebraische Graphersetzung mathematische Modellierung und Konfluenz | |
Algebraische Spezifikation in UNIVERS am Beispiel d. Struktur e. Versionsgraphen | |
Categorical frameworks for the transformation of object-oriented systems models and data | |
Double-pushout rewriting in context - rule composition and parallel independence | |
Dynamics in information systems specification, construction, and correctness ; an algebraic approach | |
Evolution Patterns ein formaler Ansatz zur Entwicklung langlebiger Softwaresysteme auf der Basis von Graphgrammatiken | |
Extended algebraic graph transformation | |
Fallbeispiel für KorSo | |
Functor semantics for refactoring-induced data migration | |
Graph rewriting in span-categories | |
Higher order object nets and their application to workflow modeling | |
Korso case study for software engineering with formal methods | |
On the relationship between algebraic module specifications and program modules | |
Parallel and distributed derivations in the single pushout approach | |
Parametric algebraic specifications with Gentzen formulas free functor semantics and correctness | |
Polymorphic sesqui-pushout graph rewriting | |
Process modelling and control with higher order nets | |
Refactoring information systems association folding and unfolding revisited | |
Single-pushout-Transformation partieller algebraischer Systeme | |
Theorie funktionaler Ersetzungssysteme eine Übersicht | |
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts | |
Umdenken in der Informatik | |
Van-Kampen pushouts for sets and graphs |