KOJAK

KOJAK 3.3

KOJAK (Kit for Objective Judgement and Knowledge-based Detection of Performance Bottlenecks) is a set of generic and interoperable tool components designed for the performance analysis of parallel applications.Their functionality addresses the entire...

inFusion

inFusion 1.7.2

inFusion is a commercial, Eclipse-based application written in Java, allowing developers to fully control software architecture quality, as well as design quality.Being able to handle Java, C++ and C projects, the main goal of inFusion is to make the...

Ahven

Ahven 2.3

Ahven is a simple unit test library (or a framework) for Ada 95 programming language. The project is loosely modeled after JUnit and some ideas are taken from AUnit.Ahven is free software distributed under permissive ISC license and should work with any...

HOL

HOL 7

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented.Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access...