Search Results for "uml tool"

ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

netCCM Studio is a component-based modelling tool.

SPACES is a functional test tool for components which uses UML specifications and OCL restrictions to originate test cases automatically.

JSeq is a tool to automatically create UML sequence diagrams. It works by following the execution of a Java program, noting each method entry and exit. It then generates a sequence diagram from this information.