Conference Publication Details
Mandatory Fields
Carter G.;Monahan R.;Morris J.
Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
Software refinement with perfect developer
2005
December
Published
1
()
Optional Fields
363
372
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. © 2005 IEEE.
10.1109/SEFM.2005.41
Grant Details