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

Preview

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:	https://doi.org/10.1109/SEFM.2005.41
Depositing User:	Rosemary Monahan
Date Deposited:	29 May 2017 15:30
Publisher:	IEEE
Refereed:	Yes
URI:	http://ieeexplore.ieee.org
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)

Item control page

Downloads

Origin of downloads