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.
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.
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.
When you want to format multiple Java source in Eclipse, the only way is to open each and every file, right click in the editor window, select the "Format" option, and save the formatted file. This plugin allows you to select one or more packages in the Java Package Explorer and format all .java files in those packages. You can also choose to select just the specific Java source files you wish to format, or even the whole source directory.
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).