Perfect Developer (PD) — это инструмент для тщательной разработки компьютерных программ . Он используется для разработки приложений в таких областях, как ИТ-системы и бортовые критические системы. Принцип состоит в том, чтобы разработать формальную спецификацию и преобразовать ее в код. Несмотря на то, что инструмент основан на формальных методах , поставщики утверждают, что передовые математические знания не являются обязательным условием.
PD поддерживает парадигму Verified Design by Contract, которая является расширением концепции Design by Contract . При проверенном проектировании по контракту контракты проверяются с помощью статического анализа и автоматического доказательства теорем, поэтому можно быть уверенным, что они не сработают во время выполнения.
Используемый язык спецификаций Perfect имеет объектно-ориентированный стиль, создавая код на языках программирования, включая Java , C# и C++ . Он был разработан британской компанией Escher Technologies Ltd. Они отмечают на своем веб-сайте, что утверждают не то, что язык сам по себе идеален, а то, что его можно использовать для создания кода, который идеально реализует точную спецификацию.