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 BibTeX

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

Unterstützung des Softwareentwurfs

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

Prüfung des Softwareentwurfs

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

Der Softwareentwurf in der Anwendung

K. Lutz: CADOS^R - Ein erfolgversprechender Weg zum Requirement Engineering. 400-422 BibTeX
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 BibTeX
Hans-Jürgen Appelrath, J. Freitag: Der Entwurf eines dialogorientierten Bluttransfusions-Informationssystems. 435-448 BibTeX
Manfred Sommer, Manfred P. Stadel: Erfahrungen beim Implementieren eines modernen Compilers. 449-455 BibTeX
Horst Morgenbrod, Werner Remmele: Ergebnisse der Arbeitsgruppe 'Der Softwareentwurf in der Anwendung'. 456-464 BibTeX