MURAL - Maynooth University Research Archive Library



    Software Refinement with Perfect Developer


    Carter, Gareth and Monahan, Rosemary and Morris, Joseph M. (2005) Software Refinement with Perfect Developer. In: Third IEEE International Conference on Software Engineering and Formal Methods, 2005 (SEFM 2005). IEEE, pp. 363-372. ISBN 0769524354

    [img]
    Preview
    Download (162kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    Perfect Developer is a software tool that supports the formal development of object-oriented programs by refinement, including formal verification of code. It is built around a single language that supports both specification and implementation. We critically examine how Perfect Developer supports programming by refinement, focusing on three refinement techniques: algorithm refinement, data refinement and delta refinement. In particular we examine the extent to which Perfect Developer provides formal verification for these techniques. We assess it as a tool for software construction and compare it with related tools.

    Item Type: Book Section
    Additional Information: This is the preprint version of the published article, which is available at DOI: 10.1109/SEFM.2005.41
    Keywords: Software Refinement; Perfect Developer; formal specification; software tools; object-oriented programming; formal verification; refinement calculus ;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 8250
    Identification Number: https://doi.org/10.1109/SEFM.2005.41
    Depositing User: Rosemary Monahan
    Date Deposited: 29 May 2017 15:30
    Publisher: IEEE
    Refereed: Yes
    URI:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year