Werner Gaube

Publication Activity (10 Years)

Years Active: 1981-1986
Publications (10 Years): 0

Publications

Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr
Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen. Software-Architektur (1986)
Werner Gaube, Heinrich C. Mayr, Peter C. Lockemann
Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties. European Conference on Computer Algebra (2) (1985)
Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr
Construction of Application Systems: Some Aspects of Standardization. ECI (1981)
Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr
Method Base System: A Tool for Decision Support. NATO ASI DBM (1981)