- Klaus-Peter Löhr:
Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme? Software Engineering 1980: 352-353 - Alfred L. Luft, D. Steinbauer:
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. Software Engineering 1980: 271-272 - Heinrich C. Mayr:
Zur Spezifikation von Datentypen. Software Engineering 1980: 290-292 - Matthias Mittelstein:
Standardisierung von Spezifikationen in einem Softwarehaus. Software Engineering 1980: 273-274 - Gerhard Müller:
Methoden bei der Entwicklung neuer Komponenten für die COMET-Anwendungssfotware. Software Engineering 1980: 326-327 - W. Oostendorp:
PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware. Software Engineering 1980: 228-240 - Anna-Kristin Pröfrock:
Lösungsansätze für Probleme der Programmdokumentation. Software Engineering 1980: 328-329 - Peter Rechenberg:
In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen? Software Engineering 1980: 334-336 - Peter Rechenberg:
Attributierte Grammatiken als Werkzeug der Softwaretechnik. Software Engineering 1980: 345-347 - H. Dieter Rombach:
Ein Entwurfskonzept für lokal verteilte Systemsoftware. Software Engineering 1980: 241-257 - H. Dieter Rombach:
Ein Entwurfskonezept für verteilte Systemsoftware. Software Engineering 1980: 360-361 - Helmut Rzehak:
Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen. Software Engineering 1980: 348-349 - H. Schelling, Joachim Biewald:
Rechnergestützte statische Analyse des Funktions- und Sofwareentwurfs in EPOS. Software Engineering 1980: 161-174 - Andreas Schwald:
Schnittstellen in Phasenmodellen. Software Engineering 1980: 329-330 - Werner Simonsmeier:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? Software Engineering 1980: 263-264 - Werner Simonsmeier:
Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. Software Engineering 1980: 275-276 - Thorsten Spitta:
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten. Software Engineering 1980: 277-278 - Michael Timm:
Aufwandschätzung von Softwareentwicklungsprojekten. Software Engineering 1980: 331-333 - Wladyslaw M. Turski:
Design of Large Programs. Software Engineering 1980: 129-160 - Udo Voges:
Anforderungsspezifikation für sicherheitsrelevante Systeme. Software Engineering 1980: 279-280 - Ekke Weber:
Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI. Software Engineering 1980: 293-294 - Gerhard Winkler:
Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen. Software Engineering 1980: 295-296 - Georg Winterstein, Norbert Heck, Peter Trum:
Prädikatenlogik als Basis für eine Spezifikationssprache. Software Engineering 1980: 312-313 - Jan Witt:
Inwieweit sind Spezifikationssprachen Programmiersprachen? Software Engineering 1980: 297-299 - Jan Witt:
Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes. Software Engineering 1980: 314-315 - Peter H. Yeomans:
Requirements Analysis Using SADT. Software Engineering 1980: 202-219 - Hans P. Zima:
Vergleich von Synchronisationsmechanismen. Software Engineering 1980: 362-363