A CASE tool provides a GUI design environment and code generation to support an XML-based Architecture Description Language (ADL). The ADL can be used to formally specify the software architectures of complex component-based systems.
FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.
Developed to suport a quickly way to generate a single '.sql' script (create) file using an [Oracle dabatabase conection] containing all DDL information in the database schema.
MCC is a UML model consistency checker, built as a plug-in for Poseidon for UML, based on description logics. Provides automated consistency checking of UML models.
op-case is a portable CASE tool that provides database and database applications(forms & reports) design and implementation on more than one DBMS. Also, op-case has a module that is responsible dor database adminstration tasks.
GUI-based and COM-exposed addon for Refal System console utilities
Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
WebML Constructor is CASE tool with WebML support for designing web sites.