Perfect Developer editions

	Free edition	Professional edition	Critical Systems edition
Automatic code generation
Automated verification
Project manager
C++ code generation
Java code generation
UML model import
Full proof output
Unlimited project size
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.