Time-Rover

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


State-Rover Demos

State-Rover

Diagramatic Tool

Devel. Services

Eclipse plugins; Custom constraint solvers

Generic Verification

(rules4business.com)

Papers

and Books

    All Content Copyright © 1997-2010 Time-Rover Inc.   All Rights Reserved