ArgoUML is a pure Java open source UML CASE tool that provides cognitive support for object-oriented design. ArgoUML provides some of the same editing and code generation features of a commercial CASE tool, but it focuses on features that enhance usability and support the cognitive needs of designers. Uses XML file formats: XMI and PGML.
VNC Reflector is a specialized VNC server which acts as a proxy between a real VNC server (a host) and a number of VNC clients. It was designed to work efficiently with large number of clients. It can switch between different hosts on the fly, preserving client connections. It supports reverse host-to-reflector connections, it can save host sessions on disk, and it also has other unique features.
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.
OpenCards is flashcard learning software. The basic idea of OpenCards is to use PowerPoint presentations (*.ppt) as flashcard sets. Slide titles are considered questions and the slide contents their answers. Based on state-of-the-art memorization and scheduling algorithms, OpenCards will help you learn any set of flashcards.
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.