Author of the publication

Refinements of Graph Transformation Systems via Rule Expressions.

, , and . TAGT, volume 1764 of Lecture Notes in Computer Science, page 368-382. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Object-Oriented Algebraic Specifications.. ADT, volume 534 of Lecture Notes in Computer Science, page 98-116. Springer, (1990)Refinements of Graph Transformation Systems via Rule Expressions., , and . TAGT, volume 1764 of Lecture Notes in Computer Science, page 368-382. Springer, (1998)From algebra transformation to labelled transition systems.. WADT, volume 1376 of Lecture Notes in Computer Science, page 269-284. Springer, (1997)Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen., and . Inform. Forsch. Entwickl., 16 (2): 110-117 (2001)Algebra Transformation Systems and their Composition.. FASE, volume 1382 of Lecture Notes in Computer Science, page 107-122. Springer, (1998)Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen., , , , , and . Software Engineering (Workshops), volume P-215 of LNI, page 251-260. GI, (2013)Achieving Quality in Customer-Configurable Products., , , and . Relating System Quality and Software Architecture, Morgan Kaufmann, (2014)On Formal Semantics and Integration of Object-Oriented Modeling Languages., , , , and . Current Trends in Theoretical Computer Science, World Scientific, (2001)On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.. SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 567-581. Springer, (2004)Functorial Theory of Parameterized Specifications in a General Specification Framework., and . Theor. Comput. Sci., 135 (2): 221-266 (1994)