Christiane Floyd, Hermann Kopetz (Eds.):
Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin.
Berichte des German Chapter of the ACM 5 Teubner 1981, ISBN 3-519-02424-1 
@proceedings{DBLP:conf/se/1980,
editor = {Christiane Floyd and
Hermann Kopetz},
title = {Software Engineering - Entwurf und Spezifikation, Tagung II/1980
mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980
in Berlin},
booktitle = {Software Engineering},
publisher = {Teubner},
series = {Berichte des German Chapter of the ACM},
volume = {5},
year = {1981},
isbn = {3-519-02424-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Teil I:
Bericht der Tagung
Sitzung 1:
Spezifikationssprachen und -methoden
Sitzung 2:
Entwurf
Sitzung 3:
Anforderungsdefinition
- Peter H. Yeomans:
Requirements Analysis Using SADT.
202-219
- Holger Franck:
Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT.
220-227
- W. Oostendorp:
PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware.
228-240
- H. Dieter Rombach:
Ein Entwurfskonzept für lokal verteilte Systemsoftware.
241-257
Teil II:
Bericht des Workshops
Arbeitsgruppe 1
- Werner Simonsmeier:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation?
263-264
- Helmut Balzert:
Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte.
265-267
- K. Hauer, Peter Schnupp:
Thesen zu den Anforderungen an eine Spezifikationssprache.
268-270
- Alfred L. Luft, D. Steinbauer:
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen.
271-272
- Matthias Mittelstein:
Standardisierung von Spezifikationen in einem Softwarehaus.
273-274
- Werner Simonsmeier:
Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden.
275-276
- Thorsten Spitta:
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten.
277-278
- Udo Voges:
Anforderungsspezifikation für sicherheitsrelevante Systeme.
279-280
Arbeitsgruppe 2
- Hans-Jörg Kreowski:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?
281-283
- Hans vor der Brück:
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS.
284-285
- D. Dafoe:
Modularisierte Systemspezifikation anhand des JDPOOLS.
286-287
- Hans H. Kron:
Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum.
288-289
- Heinrich C. Mayr:
Zur Spezifikation von Datentypen.
290-292
- Ekke Weber:
Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI.
293-294
- Gerhard Winkler:
Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen.
295-296
Arbeitsgruppe 3
Arbeitsgruppe 4
- Hans Keutgen:
Inwieweit läßt sich das Entwerfen von Systemen automatisieren?
316-318
- Siegfried Florek:
Rechnergestütztes Entwerfen bei einem verteilten Datenbanksystem mit IBIS.
319-320
- Wolfgang Hesse:
Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und Bewertung von Software-Entwicklungstechniken.
321-323
- Hans Keutgen:
DARTS - ein Beschreibungswerkzeug mit Unterstützung des datenorientierten Entwurfs.
324-325
- Gerhard Müller:
Methoden bei der Entwicklung neuer Komponenten für die COMET-Anwendungssfotware.
326-327
- Anna-Kristin Pröfrock:
Lösungsansätze für Probleme der Programmdokumentation.
328-329
- Andreas Schwald:
Schnittstellen in Phasenmodellen.
329-330
- Michael Timm:
Aufwandschätzung von Softwareentwicklungsprojekten.
331-333
Arbeitsgruppe 5
- Peter Rechenberg:
In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen?
334-336
- Joachim Christ:
PASILA, ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen.
337-338
- Peter Haß:
Das interaktive Werkzeug BOIE.
339-341
- Hans-Ludwig Hausen, Monika Müllerburg:
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments.
342-344
- Peter Rechenberg:
Attributierte Grammatiken als Werkzeug der Softwaretechnik.
345-347
- Helmut Rzehak:
Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen.
348-349
Arbeitsgruppe 6
- Klaus-Peter Löhr:
Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme?
352-353
- J.-P. Behr:
Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten Teilnehmerstation.
352-353
- Fevzi Belli:
Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software.
354-355
- Max Herzog, Bernd Kühnel:
Datenstrukturiertes Entwerfen von Realtime-Software.
356-357
- Dietmar Hoffmann:
Probleme beim Software-Entwurf für verteilte Realzeitsysteme.
358-359
- H. Dieter Rombach:
Ein Entwurfskonezept für verteilte Systemsoftware.
360-361
- Hans P. Zima:
Vergleich von Synchronisationsmechanismen.
362-363
Copyright © Sat Nov 28 22:22:28 2009
by Michael Ley (ley@uni-trier.de)
