Requirements engineering : Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983
著者
書誌事項
Requirements engineering : Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983
（Informatik-Fachberichte, 74）
Springer-Verlag, 1983
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
English and German
Includes bibliographies
内容説明・目次
内容説明
Die Arbeitstagung "Requirements Engineering fur die Automatisierung von Systemen" wird vom Fachausschuss 4.3 "Requirements Engineering" der Gesellschaft fur Informatik in Zusammenarbeit mit der Fachgruppe 4.4.1 "Systematisches Entwerfen von PDV-Systemen", einer gemeinsamen Fach gruppe von GI und VDI/VDE-GMR, und mit dem Fachausschuss 4.2 "Rechner gestutztes Entwerfen und Projektieren (CAE)" veranstaltet. Unter Requirements Engineering wird hier die ingenieurmassige Ermitt lung der Anforderungen an die Automatisierung eines Systems und ihrer Aufarbeitung zur Realisierung in Hardware und Software verstanden. Es ist das erste Mal im deutschsprachigen Raum, dass speziell zu die sem Thema eine Tagung veranstaltet wird. Dies scheint gerechtfertigt durch das international zunehmende Interesse an dieser Problematik, welches offensichtlich aus den erheblichen Schwierigkeiten resultiert, die in der Praxis bei der Bewaltigung dieser Aufgabe auftreten. Die Aufgabe wird haufig mit projektbezogenen Verfahren angegangen. Andererseits gibt es aber bereits theoretische Methoden zur systema tischen Anforderungserschliessung, deren Einsatz in der industriellen Praxis jedoch noch Schwierigkeiten bereitet. In dieser Situation will die Arbeitstagung den Erfahrungsaustausch zwischen Theorie und Praxis foerdern. Der Programmausschuss hat sich bemuht, unter den Vortragsan meldungen die Auswahl so zu treffen, dass einerseits der Stand der Tech nik und die vorliegenden Erfahrungen und andererseits Ansatze fur zu kunftige Entwicklungen in diesem Bereich erkennbar sind.
目次
Methoden.- Requirements - einmal anders betrachtet.- Zielgerichtetes und regelgesteuertes Problemloesen mit der Requirements-Engineering Methodologie IBIS.- System Design Using Petri Nets.- Abstract Data Types as a Tool for Requirement Engineering.- Erfahrungen.- Erfahrungen mit Programm-Prototypen.- Drei Jahre SADT bei SCS: Blick zuruck ohne Zorn.- Requirements Engineering in S/E/TEC.- Erstellung von Anforderungsspezifikationen fur Automatisierungssysteme mit EPOS - Eigenschaften and Erfahrungen.- Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO.- Erfahrungen mit Modellbildung, Entwurf and Dokumentation von rechnergestutzten Leitsystemen im Verkehrsbereich.- Verfahren.- On the Use of Algebraic Methods for Formal Requirements Definitions.- Systematische Aufgabenklarung am Beispiel Software.- Prolog als Spezifikations- and Modellierungswerkzeug.- Entwicklung von Proze?informationssystemen - ein Lernproze? fur Entwickler and Anwender.- Beschreibungsmittel.- Anforderungsbeschreibung and Simulation mit Net-Modellen.- Anforderungsmodellierung fur Realzeitsysteme - Ansatze zur Bewaltigung von Komplexitat and von Unscharfe.- Benutzernahe Anforderungsanalyse mit SARS.- Real Time in Distributed Real Time Systems.
「Nielsen BookData」 より