Author of the publication

Towards a Formally Based Component Description Language.

, , , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 358-378. Springer, (1991)

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)Algebra Transformation Systems and their Composition.. FASE, volume 1382 of Lecture Notes in Computer Science, page 107-122. Springer, (1998)From algebra transformation to labelled transition systems.. WADT, volume 1376 of Lecture Notes in Computer Science, page 269-284. Springer, (1997)Refinements of Graph Transformation Systems via Rule Expressions., , and . TAGT, volume 1764 of Lecture Notes in Computer Science, page 368-382. 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 . Recommendation Systems for Software Engineering, (2013)Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series Springer, (2004)Concurrent State Transformations on Abstract Data Types.. COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 222-236. Springer, (1995)Language Engineering in Practice.. Language Engineering for Model-Driven Software Development, volume 04101 of 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., , , and . AGTIVE, volume 1779 of Lecture Notes in Computer Science, page 31-45. Springer, (1999)