Perfect Developer (PD) es una herramienta para desarrollar programas informáticos de forma rigurosa. Se utiliza para desarrollar aplicaciones en áreas que incluyen sistemas de TI y sistemas críticos aerotransportados. El principio es desarrollar una especificación formal y refinar la especificación al código. Aunque la herramienta se basa en métodos formales , los proveedores afirman que los conocimientos matemáticos avanzados no son un requisito previo.
PD es compatible con el paradigma Diseño verificado por contrato, que es una extensión del Diseño por contrato . En Verified Design by Contract, los contratos se verifican mediante análisis estático y demostración automática de teoremas, de modo que es seguro que no fallarán en el tiempo de ejecución.
El lenguaje de especificación Perfect utilizado tiene un estilo orientado a objetos , produciendo código en lenguajes de programación que incluyen Java , C# y C++ . Ha sido desarrollado por la empresa británica Escher Technologies Ltd. Señalan en su sitio web que su afirmación no es que el lenguaje en sí sea perfecto, sino que puede usarse para producir código que implementa perfectamente una especificación precisa.