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

Visual Business-Rule Service

Google Scholar link


1. Modeling and Verification Using UML Statecharts, A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking.
Book corrections

2. Practical UML-based Specification, Validation, and Verification of Mission-critical Software. Space Exploration and Defense Software Examples in Practice. ISBN: 978-145750-494-5. Amazon Kindle Edition

Recent Journal Papers

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