Softwaretechnik 95
Braunschweig
10. - 11. Oktober 1995
veranstaltet vom
GI-Fachausschuß 2.1 (Softwaretechnik und Programmiersprachen)
Verbund SofTec NRW
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
Kurzdarstellungen von Demonstrationen Seite 1 Seite 2 Seite 3 Seite 4 Seite 5 Seite 6 Seite 7
Band 15 Heft 3
ISSN 0720-8928