Project management

UML models

Compiling OCL specifications

Model checking and debugging

Semantic validation of XML files

Java source code generation

Editing text files