Holger Franck: Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT.
220-227
W. Oostendorp: PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware.
228-240
H. Dieter Rombach: Ein Entwurfskonzept für lokal verteilte Systemsoftware.
241-257
Werner Simonsmeier: Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation?
263-264
Helmut Balzert: Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte.
265-267
K. Hauer, Peter Schnupp: Thesen zu den Anforderungen an eine Spezifikationssprache.
268-270
Alfred L. Luft, D. Steinbauer: Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen.
271-272
Matthias Mittelstein: Standardisierung von Spezifikationen in einem Softwarehaus.
273-274
Werner Simonsmeier: Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden.
275-276
Thorsten Spitta: Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten.
277-278
Udo Voges: Anforderungsspezifikation für sicherheitsrelevante Systeme.
279-280
Arbeitsgruppe 2
Hans-Jörg Kreowski: Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?
281-283
Hans vor der Brück: Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS.
284-285
D. Dafoe: Modularisierte Systemspezifikation anhand des JDPOOLS.
286-287
Hans H. Kron: Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum.
288-289
Peter Rechenberg: Attributierte Grammatiken als Werkzeug der Softwaretechnik.
345-347
Helmut Rzehak: Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen.
348-349
Arbeitsgruppe 6
Klaus-Peter Löhr: Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme?
352-353
J.-P. Behr: Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten Teilnehmerstation.
352-353
Fevzi Belli: Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software.
354-355
data released under the ODC-BY 1.0 license
