Entwurf großer Software-Systeme 1984: Grassau, Germany

Horst Morgenbrod, Werner Remmele (Eds.): Entwurf großer Software-Systeme, Workshop des German Chapter of the ACM vom 8. bis 11.5.1984 in Grassau. Berichte des German Chapter of the ACM 19 Teubner 1985, ISBN 3-519-02438-1

@proceedings{DBLP:conf/gacm/1984e,
  editor    = {Horst Morgenbrod and
               Werner Remmele},
  title     = {Entwurf gro{\ss}er Software-Systeme, Workshop des German Chapter
               of the ACM vom 8. bis 11.5.1984 in Grassau},
  booktitle = {Entwurf gro{\ss}er Software-Systeme},
  publisher = {Teubner},
  series    = {Berichte des German Chapter of the ACM},
  volume    = {19},
  year      = {1985},
  isbn      = {3-519-02438-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Methoden des Softwareentwurfs

Christiane Floyd, Jürgen Pasch: Methoden für den Entwurf großer Softwaresysteme. 12-37
Wolfgang Hesse: Von der Problemanalyse zum Software-Entwurf: Acht Kernfragen der Methodendiskussion. 38-67
Claus Lewerentz: Inkrementelles Programmieren-im-Großen: Syntax-gestützte Erstellung und Wartung von Systemspezifikationen. 68-93
André Renold: Parallele Echtzeitprogrammierung: Erfahrungen mit verschiedenen Entwurfsmethoden. 94-110
Alfred L. Luft: Der Modellierung-Schritt bei der Spezifikation: Konstruktion und Verifikation großer Software-Systeme. 111-133
Bernd J. Krämer: Formal and Semi-Graphic Specification of Non-Sequential Systems. 134-160
Hermann von Issendorff: Entwurf großer Software-Systeme mit Hilfe der Netzwerkprogrammierung. 161-169
Horst Morgenbrod, Werner Remmele: Ergebnisse der Arbeitsgruppe 'Methoden des Softwareentwurfs'. 170-174

Unterstützung des Softwareentwurfs

Hanns-Martin Meyer: Erprobte und eine Wege des Software-Technologie-Transfers: Acht Probleme der Technologie-Einfürung. 176-191
Peter Graubmann, Ekkart Rudolph: Prozessanalyse und Testdatengewinning für Vermittlungssysteme mit Hilfe von Petrinetzen. 192-209
Ute Leibrandt, Peter Schnupp: Spezifikation, Entwurf und Prototyping unter UNIX. 210-236
Christoph Oeters: Graphische Darstellung von Software-Architektur. 237-247
Monika Rheindt, Anton Seigis: Ein guter Programm-Entwurf lohnt sich: Erfahrung aus Entwicklung und Einsatz eines Software-Entwicklungssystems nach der Jackson-Technik. 248-256
Almuth Fischer: Wo greifen graphisch orientierte Verfahren? Erfahrungen mit SADT und DSA. 257-275
Horst Morgenbrod, Werner Remmele: Ergebnisse der Arbeitsgruppe 'Unterstützung des Softwareentwurfs'. 276-280

Prüfung des Softwareentwurfs

Harry M. Sneed: Experience in the Maintenance and Renovation of a Large Application System. 282-302
Johann Maierhofer, Helmuth Schmitt, Stephan Zorn: Softwaretechnologische Aspekte bei Entwicklung und Einsatz großer Simulationsprogramme. 303-314
Wolfgang Graetsch: Entwurfsleitlinien im UNIX Betriebsystem. 315-333
Matthias Schneider: Programmdokumentation als wissenbasierter Kommunikationsprozess. 334-352
Hendrik Decker: Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen. 353-373
Jack Gorissen, Franz Kapsner, T. Lützeler: Einsatz der Simulation während der einzelnen Phasen des Entwicklungsprozesses komplexer digitaler Systeme. 374-386
Horst Morgenbrod, Werner Remmele: Ergebnisse der Arbeitsgruppe 'Der Softwareentwurf in der Prüfung'. 387-398

Der Softwareentwurf in der Anwendung

K. Lutz: CADOS^R - Ein erfolgversprechender Weg zum Requirement Engineering. 400-422
G. Reelsen: Der Aufbau eines großen integrierten EDV-System bei der Bundesversicherungsanstalt für Angestellte unter dem Gesichtpunkt der Zuverlässigkeit und der kontinuierlichen Weiterentwicklung. 423-434
Hans-Jürgen Appelrath, J. Freitag: Der Entwurf eines dialogorientierten Bluttransfusions-Informationssystems. 435-448
Manfred Sommer, Manfred P. Stadel: Erfahrungen beim Implementieren eines modernen Compilers. 449-455
Horst Morgenbrod, Werner Remmele: Ergebnisse der Arbeitsgruppe 'Der Softwareentwurf in der Anwendung'. 456-464