ReadySET is a project to produce and maintain a library of reusable software engineering document templates. These templates provide a ready starting point for the documents used in software development projects. Using good templates can help developers work more quickly, and they help prompt discussion and avoid oversights. Key features include: high-quality outlines, sample text, and checklists, use of simple Web technologies (pure XHTML and CSS), and templates for many common software engineering documents.
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.
IDebug is an advanced debugging framework for Java. It provides the standard core debugging and specification constructs such as assertions, debug levels and categories, stack traces, and specialized exceptions. Debugging functionality can be fine-tuned to a per-thread and/or a per-class basis, debugging contexts can be stored and recovered from persistent store, and several aspects of the debugging run-time are configurable at the meta-level.
Accerciser lets you test all aspects of accessibility on the GNOME desktop. It uses AT-SPI to inspect and control widgets, allowing you to check whether an application is providing correct information to assistive technologies and automated test frameworks. It has a simple plugin framework that you can use to extend and customize the accessibility information displayed. It is written in Python and uses the pyLinAcc component from LSR to interact with AT-SPI using pyORBit. In essence, it is a next generation at-poke tool.
ckjm calculates Chidamber and Kemerer object-oriented metrics by processing the bytecode of compiled Java files. For each class given, the program calculates the following six metrics proposed by Chidamber and Kemerer: WMC, weighted methods per class; DIT, depth of inheritance tree; NOC, number of children; CBO, coupling between object classes; RFC, response for a class; and LCOM, lack of cohesion in methods. In addition, ckjm also calculates each class's afferent couplings (Ca) and its number of public methods (NPM).