Cantitate/Preț
Produs

Requirements Engineering: Arbeitstagung der GI, Friedrichshafen, 12–14 Oktober 1983: Informatik-Fachberichte, cartea 74

Editat de G. Hommel, D. Krönig
de Limba Germană Paperback – oct 1983
Die Arbeitstagung "Requirements Engineering für die Automatisierung von Systemen" wird vom Fachausschuß 4.3 "Requirements Engineering" der Gesellschaft für 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 Fachausschuß 4.2 "Rechner­ gestütztes Entwerfen und Projektieren (CAE)" veranstaltet. Unter Requirements Engineering wird hier die ingenieurmäßige 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, daß 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 Bewältigung dieser Aufgabe auftreten. Die Aufgabe wird häufig mit projektbezogenen Verfahren angegangen. Andererseits gibt es aber bereits theoretische Methoden zur systema­ tischen Anforderungserschließung, deren Einsatz in der industriellen Praxis jedoch noch Schwierigkeiten bereitet. In dieser Situation will die Arbeitstagung den Erfahrungsaustausch zwischen Theorie und Praxis fördern. Der Programmausschuß hat sich bemüht, unter den Vortragsan­ meldungen die Auswahl so zu treffen, daß einerseits der Stand der Tech­ nik und die vorliegenden Erfahrungen und andererseits Ansätze für zu­ künftige Entwicklungen in diesem Bereich erkennbar sind.
Citește tot Restrânge

Din seria Informatik-Fachberichte

Preț: 40202 lei

Preț vechi: 50253 lei
-20% Nou

Puncte Express: 603

Preț estimativ în valută:
7694 8117$ 6412£

Carte tipărită la comandă

Livrare economică 03-17 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540126928
ISBN-10: 3540126929
Pagini: 260
Ilustrații: VIII, 248 S. 1 Abb.
Dimensiuni: 170 x 244 x 14 mm
Greutate: 0.42 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Methoden.- Requirements – einmal anders betrachtet.- Zielgerichtetes und regelgesteuertes Problemlösen 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 zurück ohne Zorn.- Requirements Engineering in S/E/TEC.- Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS — Eigenschaften and Erfahrungen.- Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO.- Erfahrungen mit Modellbildung, Entwurf and Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich.- Verfahren.- On the Use of Algebraic Methods for Formal Requirements Definitions.- Systematische Aufgabenklärung am Beispiel Software.- Prolog als Spezifikations- and Modellierungswerkzeug.- Entwicklung von Proze?informationssystemen — ein Lernproze? für Entwickler and Anwender.- Beschreibungsmittel.- Anforderungsbeschreibung and Simulation mit Net-Modellen.- Anforderungsmodellierung für Realzeitsysteme — Ansätze zur Bewältigung von Komplexität and von Unschärfe.- Benutzernahe Anforderungsanalyse mit SARS.- Real Time in Distributed Real Time Systems.