Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
Will provide organization for traders.
This project consolidates 8 years of research on abstract specification of business contracts, mainly in the financial instruments area. The syntax of ContractML is defined in XML-Schema and MOF/UML, using EMF to implement/generate the API and GUI. We ar
Software by Jason Andress - email@example.com
ERP Software based on the Eclipse Framework
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs
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