Tool support for the Z formal notation
A software construction tool
Software build-automation tool written in Common Lisp
Java byte code compatibility analyser
Translates state machine into a target programming language.
Continuous Integration for Oracle Forms/Reports Fusion Middleware
Ccide is a Decision Table preprocessor.