Loading article…
Perfect Developer (PD) は、コンピュータプログラムを厳密な方法で開発するためのツールです。ITシステムや航空機搭載の重要システムなど、様々な分野のアプリケーション開発に利用されています。その原理は、形式仕様を作成し、それをコードへと洗練させていくことです。このツールは形式手法に基づいて開発されていますが、高度な数学的知識は必須ではないと開発元は主張しています。
PDは、契約による設計（Design by Contract）の拡張である検証済み契約設計（Verified Design by Contract）パラダイムをサポートしています。検証済み契約設計では、契約は静的解析と自動定理証明によって検証されるため、実行時に失敗しないことが保証されます。
Perfect仕様記述言語はオブジェクト指向スタイルを採用しており、 Java、C#、C++などのプログラミング言語でコードを生成します。この言語は英国のEscher Technologies Ltd.社によって開発されました。同社はウェブサイトで、この言語自体が完璧であると主張しているのではなく、厳密な仕様を完全に実装するコードを生成できると主張していると述べています。