A reliable specification and execution tool (RSET) that supports a rigorous object-oriented constraint-based specification method called box structures for object-oriented development (Box Structures/OOD) is described. RSET also supports the simulation of systems from their specifications. The object-oriented paradigm employs concepts such as object classification, relationships between objects, and constraints on objects, that are natural to human discourse. In all cases, there is exactly a one-to-one correspondence between objects in the specification and the specifier's view of the objects in the system being specified. There is a straightforward mapping from the specification to an Ada implementation. The specifications are formal and support automatic consistency and completeness checking. The specifications are executable, allowing systems to be simulated at the specification level. Box Structures/OOD is uniformly applicable to the specification, design, and implementation of large complex software systems (e.g. real-time, distributed, parallel).


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Reliable specification and execution tool


    Weitere Titelangaben:

    Zuverlässiges Spezifikations- und Ausführungswerkzeug


    Beteiligte:
    Rudmik, A. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    6 Seiten, 7 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Multiagent Mission Specification and Execution

    MacKenzie, D. C. / Arkin, R. C. / Cameron, J. M. | British Library Online Contents | 1997


    Tactical mobile robot mission specification and execution

    Arkin, Ronald C. / Collins, Thomas R. / Endo, Yochiro | SPIE | 1999


    Robot task specification and execution through relational positioning

    Rodríguez, Adolfo / Basañez, Luis / Celaya, Enric | BASE | 2007

    Freier Zugriff

    VEHICULAR MASTER DEVICE, ROLLBACK EXECUTION CONTROL METHOD, ROLLBACK EXECUTION CONTROL PROGRAM, AND DATA STRUCTURE OF SPECIFICATION DATA

    HARATA YUZO / NATSUME MITSUYOSHI / UEHARA KAZUHIRO et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    Specification Trees - A Tool for Management

    Murtaugh, Charles K. | SAE | 1967