Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
15 Fakultätsübergreifend / Sonstige Einrichtung
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 1-10 von 16 (Suchzeit: 0.003 Sekunden).
Zurück
1
2
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
1981
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
Eckert, Klaus
;
Ludewig, Jochen
1981
PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation
Ludewig, Jochen
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
Practical methods and tools for specification
Ludewig, Jochen
1982
On the specification of distributed computer control systems
Ludewig, Jochen
;
Sandmayr, Helmut
1983
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
Ludewig, Jochen
1985
Software-Spezifikation durch halbformale, anschauliche Modelle
Ludewig, Jochen
;
Glinz, Martin
;
Matheis, Hans
1982
Specification of a specification language
Ludewig, Jochen
1987
Software und Qualitätssicherung : Versuch einer Annäherung
Ludewig, Jochen
1985
A note on abstraction in software descriptions
Ludewig, Jochen
Facetten
Autor
4
Glinz, Martin
3
Matheis, Hans
2
Huser, Hansjörg
2
Sandmayr, Helmut
1
Eckert, Klaus
1
Frühauf, Karol
1
Färberböck, Hannes
1
Lichter, Horst
1
Matheis, G.
1
Schmidt, M.F.
.
weiter>
Institut
16
Sonstige Einrichtung
Erscheinungsdatum
3
1987
2
1986
4
1985
1
1983
2
1982
2
1981
1
1980
1
1978