( en | de | ru )

 

Disambiguierung von "Große-Rhode, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining Data Type and Recursive Process Specifications Using Projection Algebras.

, , , , , und . Theor. Comput. Sci., 71 (3): 347-380 (1990)

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.

Martin Große-Rhode

Martin Große-Rhode

Martin Große-Rhode

Martin Große-Rhode

Christa Grosse-Rhode

 

Weitere Publikationen von Autoren mit dem selben Namen

Achieving Quality in Customer-Configurable Products, , und . Recommendation Systems for Software Engineering, (2013)Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series Springer, (2004)Parameterized Data Type and Process Specifications Using Projection Algebras.. Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 185-197. Springer, (1988)Integrating Semantics for Object-Oriented System Models.. ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 40-60. Springer, (2001)Spatial and Temporal Refinement of Typed Graph Transformation Systems., , und . MFCS, Volume 1450 von Lecture Notes in Computer Science, Seite 553-561. Springer, (1998)A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.. IFM, Seite 253-272. Springer, (1999)Language Engineering in Practice.. Language Engineering for Model-Driven Software Development, Volume 04101 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2004)Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions., , , und . AGTIVE, Volume 1779 von Lecture Notes in Computer Science, Seite 31-45. Springer, (1999)Concurrent State Transformations on Abstract Data Types.. COMPASS/ADT, Volume 1130 von Lecture Notes in Computer Science, Seite 222-236. Springer, (1995)Achieving Quality in Customer-Configurable Products., , , und . Relating System Quality and Software Architecture, Morgan Kaufmann, (2014)