2 projects tagged "Quality Assurance"
Updated 07 Apr 2005
OBJ3
| Pop | 34.86 |
|---|---|
| Vit | 2.52 |
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
Updated 01 Aug 2004
SLOCCount
| Pop | 185.26 |
|---|---|
| Vit | 5.81 |
SLOCCount is a suite of programs for counting physical source lines of code (SLOC) in possibly large software systems. It can count physical SLOC for a wide number of languages. It can take a large set of files and automatically categorize their types using a number of different heuristics, and also comes with analysis tools.
