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)

GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC approach

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

BPa2aQRp: a simple web application capable of certifying the quality of Rails projects based on the Best Practices followed

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

gBMC: a generic Bounded Model Checking tool for a simple imperative language.

Web 3D Service, available from GitHub: git://github.com/nmco/geoserver.git

Android based Virtual Globe, available from BitBucket git@bitbucket.org:jgrocha/osgearthandroid.git