Author of the publication

Towards a wide spectrum language to support program specification and program development.

, , , , and . Fachtagung über Programmiersprachen, volume 12 of Informatik-Fachberichte, page 73-85. Springer, (1978)

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)Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions., and . GIScience, volume 4197 of Lecture Notes in Computer Science, page 234-250. Springer, (2006)Types in the Programming Language Ada.. On Conceptual Modelling (Intervale), page 385-408. Springer, (1982)Introduction.. PROSPECTRA Book, volume 680 of Lecture Notes in Computer Science, page 3-34. Springer, (1993)Ada and the German Pay Phone: An Illustrative Example of Parallel Processing.. ECI, volume 123 of Lecture Notes in Computer Science, page 122-134. Springer, (1981)The BAALL Ontology - Configuration of Service Robots, Food, and Diet., , and . JOWO, volume 2969 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Semantic Interrelation of Documents via an Ontology., , , , and . DeLFI, volume P-52 of LNI, page 271-282. GI, (2004)Seven Years of COMPASS.. COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 1-13. Springer, (1995)Subsorted Partial Higher-Order Locig as an Extension of CASL., , and . WADT, volume 1827 of Lecture Notes in Computer Science, page 126-145. Springer, (1999)Modelling Episodes with Generic Ontology Design Patterns., , and . JOWO, volume 2708 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)