Logo

Progres: Tool Contests

AGTIVE Tool Contest submission - UML to CSP

Here you can find our submission to the AGTIVE 2007 Tool Contest, presented at the AGTIVE Conference in Octobre 2007.

We used the famous PROGRES system to model the transformation of UML Activity Diagrams to Communicating Sequential Processes.

You can download our solution either in tgz (UML_to_CSP.tar.gz) or zip (UML_to_CSP.zip) format. Also, you can download the paper submitted along with the solution, which explains the tool design and gives basic usage informations (UML_to_CSP.pdf).

GraBaTs Tool Contest submission - Refactoring

2008's tool contest will be held in Leicester, UK, as satellite event of ICGT'08. Here we chose a case study to build a program refatoring tool.

The provided solution is available as an archive, including the explanatory paper.

Created by: system last modification: Friday 25 of July, 2008 [18:19:08 UTC] by erhard