Software module specification

Eclipse graphical user interface

Automatic C, C++, and Java code

Easier and faster coding than hand written code

Automatic code generation

Visual debug animation

Graphical debugging

JUnit tests

Assertion statecharts

Statechart constructs

Automatic white box test generator

Advanced software design constructs

Intuitive graphical programming tool