Advanced Visual Systems - Express - A visual Data mining and Analysis Tool
Applied Dynamics International - BEACON - Code generator
Applied Microsystems Corp. - CodeTest - Software test and analysis tools
Diab Data - RTA Suite - Run Time Analysis tools for program error detection and analysis of run-time systems behavior.
Pathfinder Solutions Inc - Model Auditor analysis model verifier checks semantics in UML
Project Technology Inc - BridgePoint, DesignPoint - Develops complete applications from executable UML models that are automatically translated into high performace target source code.