CROSS

An Infrastructure for Certification and Re-engineering of Open Source Software

Overview

Team

Results

Events


News

26 Aug 11 New paper: "Towards rigorous analysis of Open Source Software", by L.S. Barbosa, P.R. Henriques, and Alejandro Sanchez, accepted at TTSS'2011.

23 Jun 11 1st CROSS Workshop

22 Jun 10 First paper published! (The GUISurfer tool: ...)

24 Feb 10 Kick-Off Meeting

6 Oct 09 CROSS website launched

Tools

TreeCycle: a Sonar plugin for design quality assessment of Java programs (version 1.0) (version 1.2)

GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)

GamaPolarSlicer: a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called (version 1)

Darius: an environment for Comment Analysis and Concept Location

DMOSS: (under development) a toolkit for gathering information about software packages from documentation files

CoordPat: a tool for extracting coordination data from legacy code

???: a tool for assessing quality of aspect MATLAB programs

W3DS: 3D geospatial information as a web service

r14 - 13 Apr 2012 - 14:15:17 - MariaJoaoFrade
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM