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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Axiomatic requirements engineering - an approach based on general system theory


    Additional title:

    Axiomatische Bedarfswissenschaft - eine Methode die auf der allgemeinen Systemtheorie basiert


    Contributors:
    Saib, S.H. (author) / Benson, J.P. (author) / Scherer, A.D. (author) / Parker, R.R. (author)


    Publication date :

    1978


    Size :

    4 Seiten, 1 Bild, 15 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Verification of an axiomatic requirements specification

    HAMILTON, M. / ZELDIN, S. | AIAA | 1977



    An axiomatic approach to corner detection

    Kenney, C.S. / Zuliani, M. / Manjunath, B.S. | IEEE | 2005


    Port pricing: a cost axiomatic approach

    Talley, Wayne K. | Taylor & Francis Verlag | 1994


    Interpolating Orientation Fields: An Axiomatic Approach

    Chessel, A. / Cao, F. / Fablet, R. | British Library Conference Proceedings | 2006