Author of the publication

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

Specifying Component Invariants with OCL., , , and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 600-607. Konstanz UVK-Verl.-Ges., (2001)AGILE: Software Architecture for Mobility., , , , , , , , , and 15 other author(s). WADT, volume 2755 of Lecture Notes in Computer Science, page 1-33. Springer, (2002)Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.. TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 756-771. Springer, (1995)Modelling the CoCoME with the Java/AComponent Model., , , , , , , and . CoCoME, volume 5153 of Lecture Notes in Computer Science, page 207-237. Springer, (2007)An Institution for Object-Z with Inheritance and Polymorphism., , , and . Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 134-154. Springer, (2015)Uml-Based Web Engineering - An Approach Based on Standards., , , and . Web Engineering, Springer, (2008)AOSTA: Agile Open Source Tools Academy., , and . XP, volume 9 of Lecture Notes in Business Information Processing, page 248-249. Springer, (2008)Property-Driven Development., , and . SEFM, page 96-102. IEEE Computer Society, (2004)Combining Formal Specifications with Test Driven Development.. XP/Agile Universe, volume 3134 of Lecture Notes in Computer Science, page 1-12. Springer, (2004)An environmental assessment system for environmental technologies., , , and . Environmental Modelling and Software, (2014)