Inkorrekte und unadequate Bedarfsfestlegungen fuer grosse Echtzeitkontrollsysteme werden oft erst verspaetet als Hauptmerkmale der Entwurfsfehler waehrend des Entwicklungsprozesses erkannt. Dieser Bericht beschreibt die wichtigsten Forschungen, die darauf ausgerichtet sind formale Bedarfsfestlegungen fuer ballistische Raketenwaffensysteme zu generieren. Die Autoren geben eingangs eine Einfuehrung in die Thematik, beschreiben ferner die Forschungsziele der axiomatischen Bedarfswissenschaft, die allgemeine Systemtheoriemethode der axiomatischen Bedarfswissenschaft, die Mesarovic'sche und Wymore'sche allgemeine Systemtheorie, die Anwendungsmoeglichkeiten der Bedarfswissenschaft, die automatischen Hilfen und abschliessend die Demonstration der axiomatischen Bedarfswissenschaftsmethode fuer verschiedene Probesysteme.
Axiomatic requirements engineering - an approach based on general system theory
Axiomatische Bedarfswissenschaft - eine Methode die auf der allgemeinen Systemtheorie basiert
IEEE 78 COMPCON SPRING, 16TH COMPUTER SOC. INT. CONF. ; Feb. ; 310-313
1978
4 Seiten, 1 Bild, 15 Quellen
Conference paper
English
Verification of an axiomatic requirements specification
AIAA | 1977
|ENGINEERING NOTES Conceptual Design of an Aerospace Vehicle Controller Using Axiomatic Theory
Online Contents | 2010
|An axiomatic approach to corner detection
IEEE | 2005
|Port pricing: a cost axiomatic approach
Taylor & Francis Verlag | 1994
|Interpolating Orientation Fields: An Axiomatic Approach
British Library Conference Proceedings | 2006
|