Search Results for "cup-lex-eclipse"

The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.

openCONFIGURATOR TCL/TK GUI is an open-source configuration tool for easy setup, configuration and maintenance of any POWERLINK network. It ideally complements openPOWERLINK, the open source POWERLINK protocol stack for master and slave. THIS APPLICATION IS NO LONGER SUPPORTED. PLEASE INSTALL THE ECLIPSE PLUGIN BASED OPENCONFIGURATOR.

Recon-Calc is a source code feature location tool based on the Software Reconnaissance technique. It allows you to name features of your system and then, based on coverage profiles gathered, you can find where they are implemented in the source code.

XASM and XOCL consolidate the mathematical language ASM and imperative extensions to the OMG standard OCL. In XOCL we now have update annotations, which allow to create with OCL one set of updates. We consequently will create a prototype of XASM as a language that allows to calculate XASM Style fix points over updates. It will have the same language design as the original XASM by Matthias Anlauff

The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.