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.
Source Auditor is a software engineering tool designed to make it possible for teams of engineers to ensure that their code base has been reviewed periodically to meet their code standards and other criteria. The metrics that are collected are completely user definable to fit a given project. The system is implemented using J2EE as a hybrid of servlets and jsps, persisting as XML. The system operates without making any modifications to the source code being audited.
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.
ChangeNav is a GUI application for managing ChangeLogs for software projects. Basically it allows you to add "Changes" and "Releases" to your log through a really simple interface. All the data is stored in a nicely formatted ChangeLog ready for distribution. ChangeNav can handle any number of projects, has a customizable editor, and action items, all configurable through it's config file 'cnav.conf'. The file is very self-explainatory. ChangeNav is written in Python using PythonCard and wxPython for its GUI.
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.