Idealny programista
Perfect Developer (PD) to narzędzie do opracowywania programów komputerowych w rygorystyczny sposób. Służy do opracowywania aplikacji w obszarach obejmujących systemy informatyczne i krytyczne systemy lotnicze. Zasadą jest opracowanie formalnej specyfikacji i dopracowanie specyfikacji do kodu. Mimo że narzędzie opiera się na metodach formalnych , dostawcy twierdzą, że zaawansowana wiedza matematyczna nie jest warunkiem koniecznym.
PD wspiera paradygmat Verified Design by Contract, który jest rozszerzeniem Design by Contract . W Verified Design by Contract kontrakty są weryfikowane za pomocą analizy statycznej i automatycznego dowodzenia twierdzeń, dzięki czemu jest pewne, że nie zawiodą w czasie wykonywania.
język specyfikacji Perfect ma styl zorientowany obiektowo , tworząc kod w językach programowania , w tym Java , C# i C++ . Został opracowany przez brytyjską firmę Escher Technologies Ltd. Zauważają na swojej stronie internetowej, że ich twierdzenie nie polega na tym, że sam język jest doskonały, ale na tym, że można go użyć do stworzenia kodu, który doskonale implementuje precyzyjną specyfikację.