Jump to content

Perfect Developer

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Judith Carlton (talk | contribs) at 13:50, 21 May 2006. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Perfect Developer (PD) is a formal methods tool for developing computer programs in a rigorous manner, by developing a formal specification and refining it to code. The suppliers claim that advanced mathematical knowledge is not a pre-requisite. The specification language used has an object-oriented style, producing code in programming languages like Java and C++. It has been developed by the UK company Escher Technologies Ltd.

PD supports the Verified Design by Contract paradigm (which is an extension of Eiffel Software's Design by Contract) in which the contracts are verified by static analsis, so that it is certain that they will not fail at runtime.



Stub icon

This software article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Perfect_Developer&oldid=54351553"