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.
JRobot is a Java utility to manipulate the Mitsubishi RVM1 robot. Its features include the ability to connect to a RVM1 robot locally and remotely, viewing from a camera with RTP, and a virtual view which is useful when executing JRobot in test mode. It is possible to manipulate the RVM1 robot with a joystick and program and test it with a GUI.
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.
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.