Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Matheis, Hans
Anzeige der Treffer 1 bis 4 von 4
Erscheinungsdatum | Titel | Autor(en) |
1987 | Software-Entwicklung durch schrittweise Komplettierung | Ludewig, Jochen; Färberböck, Hannes; Lichter, Horst; Matheis, Hans; Wallmüller, Ernest |
1985 | Software-Spezifikation durch halbformale, anschauliche Modelle | Ludewig, Jochen; Glinz, Martin; Matheis, Hans |
1985 | Spades - a specification and design system and its graphical interface | Ludewig, Jochen; Glinz, Martin; Huser, Hansjörg; Matheis, G.; Matheis, Hans; Schmidt, M.F. |
1987 | Specification techniques for real-time systems | Ludewig, Jochen; Matheis, Hans |