This paper proposes techniques for deriving programs from their abstract specifications, more specifically proposes refinement techniques for the schema calculus of Z specification language. These techniques are based on a theory for specification refinement and program development.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Deriving Programs from Their Z specifications


    Beteiligte:
    Cruz, Ricardo (Autor:in)


    Erscheinungsdatum :

    01.09.2006


    Format / Umfang :

    171521 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    TeStor: Deriving Test Sequences from Model-Based Specifications

    Pelliccione, P. / Muccini, H. / Bucchiarone, A. et al. | British Library Conference Proceedings | 2005


    Deriving Transmissibility Functions with Finite Elements for Specifications

    Guthrie, Michael / Ross, Michael R. / Pulling, Eric | AIAA | 2021


    Deriving Safety-critical System Specifications through Requirements Engineering Process

    Tsuchiya, R. / Hirao, Y. / Fukuda, M. et al. | British Library Online Contents | 1998