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 BibTeX
@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 BibTeX
- Holger Franck:
Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT.
220-227 BibTeX
- W. Oostendorp:
PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware.
228-240 BibTeX
- H. Dieter Rombach:
Ein Entwurfskonzept für lokal verteilte Systemsoftware.
241-257 BibTeX
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 BibTeX
- Helmut Balzert:
Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte.
265-267 BibTeX
- K. Hauer, Peter Schnupp:
Thesen zu den Anforderungen an eine Spezifikationssprache.
268-270 BibTeX
- Alfred L. Luft, D. Steinbauer:
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen.
271-272 BibTeX
- Matthias Mittelstein:
Standardisierung von Spezifikationen in einem Softwarehaus.
273-274 BibTeX
- Werner Simonsmeier:
Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden.
275-276 BibTeX
- Thorsten Spitta:
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten.
277-278 BibTeX
- Udo Voges:
Anforderungsspezifikation für sicherheitsrelevante Systeme.
279-280 BibTeX
Arbeitsgruppe 2
- Hans-Jörg Kreowski:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?
281-283 BibTeX
- Hans vor der Brück:
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS.
284-285 BibTeX
- D. Dafoe:
Modularisierte Systemspezifikation anhand des JDPOOLS.
286-287 BibTeX
- Hans H. Kron:
Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum.
288-289 BibTeX
- Heinrich C. Mayr:
Zur Spezifikation von Datentypen.
290-292 BibTeX
- Ekke Weber:
Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI.
293-294 BibTeX
- Gerhard Winkler:
Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen.
295-296 BibTeX
Arbeitsgruppe 3
Arbeitsgruppe 4
Arbeitsgruppe 5
- Peter Rechenberg:
In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen?
334-336 BibTeX
- Joachim Christ:
PASILA, ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen.
337-338 BibTeX
- Peter Haß:
Das interaktive Werkzeug BOIE.
339-341 BibTeX
- Hans-Ludwig Hausen, Monika Müllerburg:
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments.
342-344 BibTeX
- Peter Rechenberg:
Attributierte Grammatiken als Werkzeug der Softwaretechnik.
345-347 BibTeX
- Helmut Rzehak:
Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen.
348-349 BibTeX
Arbeitsgruppe 6
- Klaus-Peter Löhr:
Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme?
352-353 BibTeX
- J.-P. Behr:
Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten Teilnehmerstation.
352-353 BibTeX
- Fevzi Belli:
Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software.
354-355 BibTeX
- Max Herzog, Bernd Kühnel:
Datenstrukturiertes Entwerfen von Realtime-Software.
356-357 BibTeX
- Dietmar Hoffmann:
Probleme beim Software-Entwurf für verteilte Realzeitsysteme.
358-359 BibTeX
- H. Dieter Rombach:
Ein Entwurfskonezept für verteilte Systemsoftware.
360-361 BibTeX
- Hans P. Zima:
Vergleich von Synchronisationsmechanismen.
362-363 BibTeX
Copyright © Sat May 16 23:37:13 2009
by Michael Ley (ley@uni-trier.de)
