RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
Viscount is a lightweight Eclipse plugin designed to be able to quickly and easily collect essential code statistics. Viscount displays code statistics about your Java projects in Eclipse, such as the total number of Java files, etc.
This project is a translator of java .class files containing java
bytecode to the Common Language Architecture (CLI) executable code
files.
CLI, it is the base specification of Microsoft .Net framework (However, this projects intends to be
independe