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).


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Reliable specification and execution tool


    Additional title:

    Zuverlässiges Spezifikations- und Ausführungswerkzeug


    Contributors:
    Rudmik, A. (author)


    Publication date :

    1990


    Size :

    6 Seiten, 7 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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

    Free access

    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. | European Patent Office | 2020

    Free access

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

    HARADA YUZO / NATSUME MITSUYOSHI / UEHARA KAZUHIRO et al. | European Patent Office | 2021

    Free access