| 1981 | Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin Christiane Floyd, Hermann Kopetz |
| 1980 | Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski |
| 1980 | Algebraische Spezifikation von Softwaresystemen. Hans-Jörg Kreowski |
| 1980 | Anforderungsspezifikation für sicherheitsrelevante Systeme. Udo Voges |
| 1980 | Attributierte Grammatiken als Werkzeug der Softwaretechnik. Peter Rechenberg |
| 1980 | Aufwandschätzung von Softwareentwicklungsprojekten. Michael Timm |
| 1980 | Beschreibung und Bewertung von Spezifikationsmethoden und-sprachen. Hans-Georg Frischkorn |
| 1980 | Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments. Hans-Ludwig Hausen, Monika Müllerburg |
| 1980 | Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. Hans vor der Brück |
| 1980 | DARTS - ein Beschreibungswerkzeug mit Unterstützung des datenorientierten Entwurfs. Hans Keutgen |
| 1980 | Das interaktive Werkzeug BOIE. Peter Haß |
| 1980 | Datenstrukturiertes Entwerfen von Realtime-Software. Max Herzog, Bernd Kühnel |
| 1980 | Design of Large Programs. Wladyslaw M. Turski |
| 1980 | Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und Bewertung von Software-Entwicklungstechniken. Wolfgang Hesse |
| 1980 | Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen. Gerhard Winkler |
| 1980 | Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen. Helmut Rzehak |
| 1980 | Ein Entwurfskonezept für verteilte Systemsoftware. H. Dieter Rombach |
| 1980 | Ein Entwurfskonzept für lokal verteilte Systemsoftware. H. Dieter Rombach |
| 1980 | Einführung. Hermann Kopetz |
| 1980 | Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT. Holger Franck |
| 1980 | Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum. Hans H. Kron |
| 1980 | In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen? Peter Rechenberg |
| 1980 | Interaktive Softwareentwicklung durch schrittweise Formalisierung. Bernd J. Krämer, Heinz W. Schmidt |
| 1980 | Inwieweit läßt sich das Entwerfen von Systemen automatisieren? Hans Keutgen |
| 1980 | Inwieweit sind Spezifikationssprachen Programmiersprachen? Jan Witt |
| 1980 | Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes. Jan Witt |
| 1980 | Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. Fevzi Belli |
| 1980 | Lösungsansätze für Probleme der Programmdokumentation. Anna-Kristin Pröfrock |
| 1980 | Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten Teilnehmerstation. J.-P. Behr |
| 1980 | Methoden bei der Entwicklung neuer Komponenten für die COMET-Anwendungssfotware. Gerhard Müller |
| 1980 | Modularisierte Systemspezifikation anhand des JDPOOLS. D. Dafoe |
| 1980 | PASILA, ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen. Joachim Christ |
| 1980 | PLASMA/D - Eine Sprache für den Systementwurf. Helmut Balzert, Dieter Weber |
| 1980 | PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware. W. Oostendorp |
| 1980 | Pragmatische Kurskorrekturen für Spezifikationssprachen in der Praxis. Karl Kleine |
| 1980 | Probleme beim Software-Entwurf für verteilte Realzeitsysteme. Dietmar Hoffmann |
| 1980 | Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten. Thorsten Spitta |
| 1980 | Prädikatenlogik als Basis für eine Spezifikationssprache. Georg Winterstein, Norbert Heck, Peter Trum |
| 1980 | Rechnergestützte statische Analyse des Funktions- und Sofwareentwurfs in EPOS. H. Schelling, Joachim Biewald |
| 1980 | Rechnergestütztes Entwerfen bei einem verteilten Datenbanksystem mit IBIS. Siegfried Florek |
| 1980 | Requirements Analysis Using SADT. Peter H. Yeomans |
| 1980 | SALN-4, A Software Specification and Design Language. Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog |
| 1980 | Schnittstellen in Phasenmodellen. Andreas Schwald |
| 1980 | Sind die Spezifikationsmethoden heute praktisch einsetzbar? Christian Köhler |
| 1980 | Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI. Ekke Weber |
| 1980 | Spezifikationsbeschreibungen in der industriellen Praxis. Friedrich W. Beichter |
| 1980 | Standardisierung von Spezifikationen in einem Softwarehaus. Matthias Mittelstein |
| 1980 | Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte. Helmut Balzert |
| 1980 | Thesen zu den Anforderungen an eine Spezifikationssprache. K. Hauer, Peter Schnupp |
| 1980 | Towards More Formal Specifictations. Cliff B. Jones |
| 1980 | Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. Werner Simonsmeier |
| 1980 | Vergleich von Synchronisationsmechanismen. Hans P. Zima |
| 1980 | Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. Alfred L. Luft, D. Steinbauer |
| 1980 | Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme? Klaus-Peter Löhr |
| 1980 | Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? Werner Simonsmeier |
| 1980 | Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? Hans-Jörg Kreowski |
| 1980 | Zur Spezifikation von Datentypen. Heinrich C. Mayr |