Werner Gaube

According to our database, Werner Gaube authored at least 4 papers between 1981 and 1986.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen.

Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr

Proceedings of the Software-Architektur und modulare Programmierung, 1986

1985

Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties.

Werner Gaube, Heinrich C. Mayr, Peter C. Lockemann

Proceedings of the EUROCAL '85, 1985

1981

Method Base System: A Tool for Decision Support.

Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr

Proceedings of the Data Base Management: Theory and Applications, 1981

Construction of Application Systems: Some Aspects of Standardization.

Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr

Proceedings of the Trends in Information Processing Systems, 1981