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

The PROSPECTRA System: A Unified Development Framework., , and . AMAST, page 421-433. Springer, (1991)Program Development: Attributes for Transformation and Proof., and . PROSPECTRA Book, volume 680 of Lecture Notes in Computer Science, page 450-459. Springer, (1993)Program Development: PAnndA-S Editor., and . PROSPECTRA Book, volume 680 of Lecture Notes in Computer Science, page 389-417. Springer, (1993)Tool Integration in the UniForM-Workbench., , , , and . Tool Support for System Specification, Development and Verification, page 160-173. Springer, (1998)Using Concurrent Haskell to Develop Views over an Active Repository., and . Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, page 285-303. Springer, (1997)Tool integration in a functional programming language.. University of Bremen, Germany, (1999)The UniForM WorkBench - A Higher Order Tool Integration Framework.. FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 266-280. Springer, (1998)PAnndA Reference Manual.. PROSPECTRA Book, volume 680 of Lecture Notes in Computer Science, page 223-238. Springer, (1993)Program Development: PAnndA Transformer Shell.. PROSPECTRA Book, volume 680 of Lecture Notes in Computer Science, page 418-449. Springer, (1993)Mapping UML to Ada., and . Ada-Europe, volume 2043 of Lecture Notes in Computer Science, page 359-370. Springer, (2001)