Carter, Gareth, 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
Preview
RM-Software-2005.pdf
Download (162kB) | Preview
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: | 10.1109/SEFM.2005.41 |
Depositing User: | Rosemary Monahan |
Date Deposited: | 29 May 2017 15:30 |
Publisher: | IEEE |
Refereed: | Yes |
Related URLs: | |
URI: | https://mural.maynoothuniversity.ie/id/eprint/8250 |
Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
Downloads
Downloads per month over past year