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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Deriving Programs from Their Z specifications


    Contributors:


    Publication date :

    2006-09-01


    Size :

    171521 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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