Requirements Engineering
Springer Berlin (Verlag)
978-3-540-12692-8 (ISBN)
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.
Erscheint lt. Verlag | 1.10.1983 |
---|---|
Reihe/Serie | Informatik-Fachberichte |
Zusatzinfo | VIII, 248 S. 1 Abb. |
Verlagsort | Berlin |
Sprache | deutsch |
Maße | 170 x 244 mm |
Gewicht | 420 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Informatik ► Software Entwicklung ► Requirements Engineering | |
Schlagworte | Anforderungsanalyse • Anforderungsdefinition • Anforderungserhebung • Dokumentation • Engineering • Entwurf • Komplexität • Modellierung • Simulation • Spezifikation (EDV) • Strukturierte Analyse |
ISBN-10 | 3-540-12692-9 / 3540126929 |
ISBN-13 | 978-3-540-12692-8 / 9783540126928 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich