Search Results for "test"

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

Hades aims to become the reference open source environment for developing, validating and deploying PLUTO (Procedure Language for Users in Test and Operations) procedures.

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing

SmartPas est un IDE/Compilateur libre d'un langage proche d'un sous ensemble du langage Pascal. Il n'est pas un outil de production pour les développeurs mais c'est un compilateur de test et de suivi... Site officiel : http://smartpas.net.ms/

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all