Escher Technologies Escher Technologies
Home Products Services Support News Company Contact Associates Publications
Escher Technologies
More:
arrowAbout Perfect Developer
arrowWhat others say about PD
arrowBug-free software
arrowSafety-critical software
arrowTeaching computer science
arrowA step-by-step guide
arrowYour development process
arrowVerified Design-by-Contract
arrowCorrect by Construction
arrowModel-Driven Development
arrowHow it works
arrowThe technology behind it
arrowPerfect Developer editions
arrowProduct details
arrowScreen shots
arrowWhy use Perfect Developer?
arrowFAQs
 

Products - What does the Perfect Developer product consist of?

What does the Perfect Developer product consist of?

A Project Manager with a graphical user interface manages the set of files that comprise a project (screen shot here). Multiple build configurations can be defined and settings can be stored to define levels of validation and error reporting. Functions are provided to build the entire project or just changed files. External programs can be invoked during pre- and post-build steps. UML models can be imported from most leading tools.

The Compiler/Validator performs checking, compilation, validation and cross-referencing of one or more source files. Output is generated in C++ or Java to the appropriate standard. Proof files are generated if required.

Integration with some of the best third party editors is provided. For Windows, a copy of Crimson Editor and an evaluation copy of Text Pad 4 are supplied, together with customization files for Multi-Edit 9 and XEmacs. For Linux, we provide customization files for Kate, XEmacs and Vim.

Run-time libraries are provided for both Java and C++, providing support for operating system interface as well as the collection types supported by the languages. The libraries are mostly written in Perfect for reliability.

A number of example programs are provided, enabling you to see and understand how Perfect Developer can be used to produce provably correct software.

The online documentation includes the Language Reference Manual and the User Guide. A tutorial is also available.

 

 


TOPTOP
Copyright © 1997-2008 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.