Not logged in.
Contributions published at Requirements Engineering (Martin Glinz)
| Contribution | |
|---|---|
 Martin Glinz, Hierarchische Verhaltensbeschreibung in objekt-orientierten Systemmodellen - eine Grundlage für modellbasiertes Prototyping, In: Requirements Engineering '93: Prototyping, 1993. (Conference or Workshop Paper)  |
|
| Norbert E. Fuchs, Hoare Logic, Executable Specifications and Logic Programs., Structured Programming, Vol. 13 (3), 1992. (Journal Article) |
|
| Norbert E. Fuchs, M. P. J. Fromherz, Schema-Based Transformations of Logic Programs, In: Proceedings of LOPSTR '91, Springer, 1992. (Conference or Workshop Paper) |
|
| Martin Glinz, Probleme und Schwachstellen der Strukturierten Analyse, In: Requirements Engineering '91, Springer, 1991. (Conference or Workshop Paper) |
|
| Martin Glinz, Objektorientierte, halbformale Spezifikation mit SPADES, In: Requirements Engineering '87, Gesellschaft für Mathematik und Datenverarbeitung, 1987. (Conference or Workshop Paper) |
|
| Martin Glinz, Jochen Ludewig, SEED - A DBMS for Software Engineering Applications Based on the Entity-Relationship Approach, In: Proceedings of the 2nd International Conference on Data Engineering, 1986. (Conference or Workshop Paper) |
|
| Jochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis, M. F. Schmidt, SPADES - A Specification and Design System and its Graphical Interface, In: Proceedings of the 8th International Conference on Software Engineering, 1985. (Conference or Workshop Paper) |
|
| Martin Glinz, Hansjörg Huser, Jochen Ludewig, SEED - A Database System for Software Engineering Environments, In: GI Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft, 1985. (Conference or Workshop Paper) |