Perfect Developer (PD) es una herramienta para desarrollar programas informáticos de forma rigurosa. Se utiliza para desarrollar aplicaciones en áreas como sistemas informáticos y sistemas críticos aéreos. El principio es desarrollar una especificación formal y refinarla hasta convertirla en código. Aunque la herramienta se basa en métodos formales , los proveedores afirman que no es necesario tener conocimientos matemáticos avanzados.
PD admite el paradigma de diseño por contrato verificado, que es una extensión del diseño por contrato . En el diseño por contrato verificado, los contratos se verifican mediante análisis estático y demostración automatizada de teoremas, de modo que es seguro que no fallarán en tiempo de ejecución.
El lenguaje de especificación Perfect utilizado tiene un estilo orientado a objetos y produce código en lenguajes de programación como Java , C# y C++ . Ha sido desarrollado por la empresa británica Escher Technologies Ltd. En su sitio web, señalan que su afirmación no es que el lenguaje en sí sea perfecto, sino que puede utilizarse para producir código que implemente perfectamente una especificación precisa.