imported>Msnicki: /* See also */ rm Spec# deleted following AfD.

2021-08-12T21:06:27Z

See also: rm Spec# deleted following AfD.

New page

{{no footnotes|date=March 2017}}
'''Perfect Developer''' (PD) is a tool for developing [[computer programs]] in a rigorous manner. It is used to develop applications in areas including IT systems and airborne critical systems. The principle is to develop a formal specification and refine the specification to code. Even though the tool is founded on [[formal methods]], the suppliers claim that advanced mathematical knowledge is not a prerequisite.

PD supports the Verified Design by Contract paradigm, which is an extension of [[Design by contract]]. In Verified Design by Contract, the contracts are verified by [[static analysis]] and automated theorem proving, so that it is certain that they will not fail at runtime.

The '''Perfect''' [[specification language]] used has an [[object-oriented]] style, producing code in [[programming languages]] including [[Java (programming language)|Java]], [[C Sharp (programming language)|C#]] and [[C++]]. It has been developed by the [[United Kingdom|UK]] company ''Escher Technologies Ltd''. They note on their website that their claim is not that the language itself is perfect, but that it can be used to produce code which perfectly implements a precise specification.

==See also==
* [[Java Modeling Language|JML]]
* [[Safety Integrity Level]]

==External links==
*[http://www.eschertech.com/products/ Perfect Developer]
*[http://www.eschertech.com/ Escher Technologies]
*[https://web.archive.org/web/20060106062624/http://www.dstan.mod.uk/ Defence Standards]

{{programming-software-stub}}

[[Category:Formal methods tools]]
[[Category:Formal specification languages]]

Perfect Developer - Revision history

imported>Msnicki: /* See also */ rm Spec# deleted following AfD.