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

On the Power of Algebraic Specifications., , , and . MFCS, volume 118 of Lecture Notes in Computer Science, page 193-204. Springer, (1981)Specification and refinement of a buffer of length one.. NATO ASI DPD, page 273-304. (1996)Methodological Objectives for Formal Description Techniques.. FORTE, page 1-16. North-Holland, (1990)Are Fairness Assumptions Fair?. ICDCS, page 116-125. IEEE Computer Society, (1981)A logical basis for component-oriented software and systems engineering. The Computer Journal, 53 (10): 1758--1782 (2010)A formal model of services, , and . ACM Transactions on Software Engineering and Methodology (TOSEM), (2007)A semantic and methodological essence of message sequence charts. Science of Computer Programming, (2005)Das Einmaleins der Softwareentwicklung, , , , , and . Computerwoche, (October 2003)O.P.E.N. Study (External Version), , , , and . Internal Report for Nemetschek AG, München, (November 1997)Net-Centric - Architecture Evaluation and Recommendations for Deutsche Bank 24, , , and . Internal Report for Deutsche Bank 24, (May 2001)