Much of the imprecision of current specifications stems from the fact that many interpretations are possible when the language used has no formal semantics. However the use of formal languages often results in specifications understandable only by experts. A systems engineering tool embodying intuitive graphical formal languages allows executable specifications to be built, and makes formal methods accessible. The paper describes the advantages of such a tool based on several years of experience in space, robotics, commercial airplanes, automobile engineering and medical imaging.<>


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Multiple domain experience in systems engineering using an executable specifications tool


    Beteiligte:
    Winton, I.A. (Autor:in)


    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    731004 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Multiple Domain Experience in Systems Engineering Using an Executable Specifications Tool

    Winton, I. / IEEE / AIAA | British Library Conference Proceedings | 1994


    Hierarchical Accumulative Validation of Executable Control Specifications

    Mizuno, Hideaki / Farnsworth, Jared / Ueda, Koichi et al. | SAE Technical Papers | 2013


    Hierarchical Accumulative Validation of Executable Control Specifications

    Farnsworth, J. / Ueda, K. / Mizuno, H. et al. | British Library Conference Proceedings | 2013