UML Instance-of Relation Checker(ICER) Tool
Overview
Meta-Model Mechanism
Translating UML Models
Object Constraint Language
Consistency Checking
Examples
Design Pattern
Software Refinement
Tool and Documentation
Message Ordering Verification
Back