XJML 1.0 is a platform for Verification and Validation of Java classes
Tecnologie di semantic per la PA
Lemansys LEWS Alternative Framework for Java Web Applications
Testbed for playing with the algorithm "pagerank" of Google
Hadoop Management System