Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
PlantUml Dependency allows to parse / reverse engineering source files (only Java is supported by now) to generate a PlantUml description, allowing to draw the UML class diagram associated to the source code.
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:
1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .
QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.
QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.
PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.