OStatic

ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured cl...

MERMAID is an object-oriented domain modeling tool to create enterprise models using an UML class diagram, an object-event table and finite state mach...

Inspired by JUnit, csUnit brings the power of unit testing to the .NET framework. csUnit is your key to unit testing and test-driven development using...

OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replaci...

ESys.NET is a new system-level modeling and simulation environment. It takes advantages of .NET capabilities such as introspection, multi lingual mode...

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniq...

The DaCapo benchmark suite is designed to faciliate performance analysis of Java Virtual Machines, compilers and memory management. It comprises a h...

openMDX is the leading open source MDA platform. Generic, model-driven framework. Ultra-fast, platform-independent development. No proprietary model t...

The ProM Import Framework allows to extract process enactment event logs from a set of information systems. These can be exported in the MXML format, ...

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducin...