Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Home

Matthias Anlauff

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


Project Admins: