Why use Perfect Developer?

How much are software bugs costing your business?

Software bugs are expensive. For the developer they mean extra development costs, increased time-to-market and legal exposure. For the end-user they cause lost productivity, downtime and lost business.

The financial impact of software bugs is increasing

The size of software systems has grown rapidly in recent years to meet increasing business demands. Larger software systems not only contain more bugs, their bugs are more difficult to uncover by testing. Understandably, end-users are increasingly resorting to legal action to recover losses caused by software errors.

Development without bugs

The best solution to this growing problem is to eliminate the possibility of bugs right from the beginning of the software development process. At Escher Technologies we are committed to providing the tools to do just that. Building on techniques used by aerospace companies to develop vital fly-by-wire control systems, Perfect Developer makes affordable bug-free software development accessible to all.

The principles

By expressing the user's requirements and system specification in a high-level description language, Perfect Developer uses artificial intelligence techniques to understand the descriptions and verify that the user requirements will be met. Perfect Developer goes on either to generate code from the specification automatically, or to verify that developer-supplied code implements the specification precisely.

Throw away that debugger

The final phase of traditional software development involves repeated cycles of finding and correcting errors. Used correctly, Perfect Developer virtually eliminates debugging and bug-fixing activity. Not only is the finished product of higher quality, it is more likely to be delivered on time and within budget.

Developer-friendly

Perfect Developer is easy to learn. Unlike previous notations for expressing requirements and specifications, Perfect Developer builds on standard concepts from object-oriented programming languages.

Intelligent verification

Perfect Developer uses a powerful automatic inference engine and theorem prover to reason about the requirements, specifications and code. It is not necessary for developers to have advanced mathematical knowledge.

Fast prototyping and refinement

Perfect Developer will generate most of your code directly from the specification, facilitating the rapid construction of a fully functional prototype. This prototype can be supplied to the user for evaluation to ensure that requirements have been correctly captured. Typically, only a fraction of the prototype code will have to be replaced to obtain the performance required of the final product.

Re-use components safely

Reusability of previously-written components is a much-touted benefit of object-oriented software development. Unfortunately, it often happens that a component that works reliably in the project for which it was developed fails to perform correctly when transplanted to another project, usually because of hidden assumptions. Components developed using Perfect Developer are precisely specified and free from hidden assumptions, making re-use safe and easy.

Generate code for any platform

Perfect Developer generates code in C++, C# or Java that can be compiled by any standard-conforming compiler for the target system. Ada 95 code generation (with SPARK annotations) is under development.

Low development platform cost

Perfect Developer runs on industry-standard PC hardware under both Linux and Windows, avoiding the need for expensive workstations.

Can you afford not to be using Perfect Developer?

Perfect Developer is not only for the development of critical software. Its habitual use reduces the total time of developing software for non-critical systems, too.

One day, all software development will be done this way and the software bug will be extinct. Meanwhile, increased market share will go to those companies able to deliver software with better reliability in shorter timescales. Isn't it time for you to switch to Perfect Developer?