• Vorwort    Seite 1

Eingeladene Vorträge

• W. Humphrey (SEI Pittsburgh): The Personal Software Procress    Seite 1   Seite 2   Seite 3

• R. Studer,J. Angele (Univ. Karlsruhe): Requirements Specification and Model-based Knowledge-Engineering    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11   Seite 12
• W. Tichy (Univ. Karlsruhe): Software-Konfigurationsmanagement: Wie, wann, was, warum?    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7

Referierte Beiträge

• D. Boles (Univ. Oldenburg): FMAD - Ein objektorientiertes Autorensystem für multimediale Anwendungen    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11
• A. Frick, W. Zimmer, W. Zimmermann (FZI Karlsruhe): Über die Konstrucktion robuster objektorientierter Klassenbibliotheken    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11   Seite 12
• B. Schienmann (Univ. Konstanz): Fachentwurf mit TAOS - Ein terminologiebasierter Ansatz für die objektorientierte Spezifikation    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10
• Kolyang, B. Wollf (Univ. Bremen): Development by Refinement Revisited: Lessons learnt from a case study    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10
• C. Lindig (TU Brauschweig): Komponentensuche mit Begriffen    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9
• R. Berghammer (Univ. Kiel): Wiederverwendung in der Programiersprache ML mittels Signaturen, Strukturen und Funktoren    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10
• A. Schürr, A. J. Winter (RWTH Aachen), A. Zündorf (Univ. Paderborn): Spezifikatyion und Prototyping graphbasierter Systeme    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11   Seite 12
• M. Heisel, S. Jähnichen, M. Simons, M. Weber (TU Berlin): Einbettung mathematischer Techniken in den Systementwurf    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9
• K. Gotthardt, I. Scheler (FU Hagen): Formale Verifikation von Vielfach-Zugriffsprotokollen in CCS    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9
• Poetzsch-Heffter (TU Müchen): Interface Specification for Program Modules Supporting Selective Updates and Sharing and their Use in Correctness Proofs    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10
• H. Balzertm F. Hofmann, C. Niemann (Univ. Bochum): Vom Programmieren zum Generieren - Auf dem Weg zur automatisierten Anwendungsentwicklung    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10
• M. Pöpping, G. Szwillus, P. Griebel (Univ. Paderborn): Objection - eine Entwicklungsumgebung zum Entwurf constraint-basierter Benutzungsoberflächen    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8
• M. Rauterberg (ETH Zürich): Fünf Metriken zur Quantifizierung der beiden softwareergonomischen Richtlinien 'Feedback' und 'Flexibilität'    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11   Seite 12