Autor der Publikation

A component framework for system modeling based on high-level replacement systems.

, , , , und . Softw. Syst. Model., 3 (2): 114-135 (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Integration Paradigm for Data Type and Process Specification Techniques., und . Current Trends in Theoretical Computer Science, World Scientific, (2001)Parameterized Data Types and Parameter Passing.. ADT, University of Dortmund, (1982)From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., und . CAI, Volume 4728 von Lecture Notes in Computer Science, Seite 122-146. Springer, (2007)Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme., , und . Formale Modelle für Informationssysteme, Volume 21 von Informatik-Fachberichte, Seite 181-198. Springer, (1979)Embedding Theorem in the Algebraic Theory of Graph Grammars.. FCT, Volume 56 von Lecture Notes in Computer Science, Seite 245-255. Springer, (1977)Concurrent Transformations of Graphs and Relational Structures., und . WG, Seite 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)Algebraic Specification.. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Restriction Constructions in Specification Logics., und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Revie of Dines Bjørner's Textbooks Software Engineering 1-3.. Bulletin of the EATCS, (2006)Grammars on Partial Graphs., und . Acta Inf., (1976)