Spezifikation von Realzeit-Systemen
Subtitle: Konzepte, Lösungen und Erfahrungen : 54. Tagung der SGA, 21. März 1983, BBC Aktiengesellschaft Brown Boveri & Cie., Forschungszentrum, Baden-Dättwil
By: [Jochen Ludewig, Herausgeber].
Contributors: Ludewig, Jochen.; Schweizerische Gesellschaft für Automatik.
Publisher: Schweizerische Gesellschaft für Automatik
Published: 1983
Place of publication: Zürich
Language: ger
Number of pages: 152
Subjects: Real-time data processing -- Congresses.
Notes: Includes bibliographical references.
Table of contents: title: Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechnersoftware / Jochen Ludewig; title: Methoden, Sprachen und Werkzeuge zur Software-Spezifikation / Wilhelm F. Racke, H. Dieter Rombach; title: Advanced Structured Analysis zur Spezifikation grosser Systeme / Peter Hruschka; title: Ein Verfahren zur systematischen Aufgabenklärung / Bernd Kühnel, Günter Teuschler; title: Erfahrungen beim Einsatz eines entwurfsunterstützenden Spezifikationssystems / Klaus-Peter Reinshagen.