Spezifikation von Realzeit-Systemen : Konzepte, Lösungen und Erfahrungen : 54. Tagung der SGA, 21. März 1983, BBC Aktiengesellschaft Brown Boveri & Cie., Forschungszentrum, Baden-Dättwil / [Jochen Ludewig, Herausgeber].
Adresse Bibliographique
Zürich : Schweizerische Gesellschaft für Automatik, [1983]
Contents: Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechnersoftware / Jochen Ludewig -- Methoden, Sprachen und Werkzeuge zur Software-Spezifikation / Wilhelm F. Racke, H. Dieter Rombach -- Advanced Structured Analysis zur Spezifikation grosser Systeme / Peter Hruschka -- Ein Verfahren zur systematischen Aufgabenklärung / Bernd Kühnel, Günter Teuschler -- Erfahrungen beim Einsatz eines entwurfsunterstützenden Spezifikationssystems / Klaus-Peter Reinshagen.