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



Perfect Developer - Making software bugs extinct!
 

Products - Perfect Developer editions

Perfect Developer editions

  Free
edition
Professional
edition
Critical Systems
edition
Automatic code generation yes yes yes
Automated verification yes yes yes
Project manager yes yes yes
C++ code generation yes yes yes
Java code generation yes yes yes
UML model import yes yes yes
Full proof output yes   yes
Unlimited project size   yes yes
Ada 95 code generation     *
Availability Now! Now! Now!

  *Contact us for latest information on this feature

Technical specifications and platform requirements

Development platform requirements:

PC with Intel Pentium, AMD Athlon or compatible processor and 256Mb main memory.

Windows XP, 2000, NT4 or Linux operating system (operation under Windows 98 or Windows ME is also possible but not recommended for commercial use).

Text editor (customization files supplied for Multi-Edit 9, TextPad 4, Crimson Editor, Kate, VIM and XEmacs).

C++, Java or Ada 95 compiler (depending on edition) for target platform (see here for tested C++ compilers).

Output:

C++ source code to subset of ISO/IEC 14882:1998 specification.

Java code to Sun Microsystems Inc. Java Language Specification, 2nd edition (Java 2 SDK version 1.4 or 1.5 compatible).

Ada 95 source code (where applicable) to ISO/IEC 8652:1995 specification.

 

 


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