How it works: a brief overview

Unlike traditional software development using a standard programming language such as Java, Ada or C++, Perfect Developer allows you to precisely express not only code but also specifications and user requirements. This means that a Perfect source file describes not only the data you want to store and the program steps you want to carry out, it also describes what the data represents, the specifications that the program steps are there to satisfy and the requirements that the system or component must meet.

Advanced automated reasoning technology is used to relate the specifications to the requirements, and the program steps to the specifications, generating correctness proofs where possible and highlighting areas where correctness is in doubt.

Quite often, you don't need to describe the program steps, since Perfect Developer can generate them automatically. Whichever is the case, Perfect Developer produces an equivalent Java or C++ program ready for compilation.

For more detail, take a look at this step-by-step guide to software development.