Share and Export
Share and Export
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
Available under License Creative Commons Attribution Non-commercial Share Alike.
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: | |
| 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 |
Downloads
Downloads per month over past year
Origin of downloads
Altmetric Badge
Repository Staff Only (login required)
- Item control page
