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.
Yacas is a general purpose, easy to use Computer Algebra System (a CAS is a program that can be used to do symbolic manipulation of mathematical expressions). It is built on top of its own programming language designed for this purpose, in which new algorithms can easily be implemented. In addition, it comes with extensive documentation on the functionality implemented and methods used to implement them.
EAsea Specification of Evolutionary Algorithms (EASEA), is a high-level language dedicated to the specification of evolutionary algorithms. The language and compiler are quite mature. EASEA compiles .ez specification files into C++ or Java object files, using existing evolutionary libraries. Supported C++ libraries currently are GALib or EO.
myBeasties is a highly flexible evolutionary programming module. It is designed to be extendable and customisable for maximum use by the Perl developer. Many species of genotypes can be evolved, and these can be used to build phenotypes of any size or complexity. These can be as simple as a list or as large as a whole class of objects.
TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.
Visual Paradigm for UML is a Unified Modeling Language (UML) design tool that supports all UML diagrams, SysML diagrams, and entity relationship diagrams. Visual Paradigm for UML provides extensive use case modeling features, including full function UML use case diagram, flow of events editor, use case/actor grid, and activity diagram generation. Visual Paradigm for UML produces system documentation in PDF, HTML, and MS Word formats. A developer can design system documentation with the template designer. A system analyst can estimate the consequences of changes with impact analysis diagrams, such as matrix and analysis diagram. Visual Paradigm for UML generates Java code.
SDE for Eclipse is a UML modeling environment tightly integrated with Eclipse IDE. It lets you draw all types of UML diagrams (use case diagrams, class diagrams, component diagrams, etc.) in Eclipse, reverse source code (Java, C++, XML, XML Schema, CORBA IDL, etc.) to UML models, and generate Java source from UML diagrams. It features the latest UML notation support, a Rational Rose importer, an XMI importer, Microsoft Visio integration, HTML/PDF documentation generators, and plug-in and template support.
SDE for NetBeans is a UML modeling environment tightly integrated with NetBeans. It lets you draw all types of UML diagrams (use case diagram, class diagram, sequence diagram, activity diagram, etc.) in NetBeans, reverse source code (Java, C++, XML, XML Schema, CORBA IDL, etc.) to UML models, and generate Java source from UML diagrams. It features a Rational Rose importer, an XMI importer, HTML/PDF documentation generators, and plug-in and template support.
Ccide reads C, C++, BASIC, or bash source code containing embedded decision tables from stdin, expands the tables, copies the remaining statements, and forms a compilable C or C++ source module, executable bash script, or interpretable BASIC program. Erratic side effects are avoided by evaluating all condition expressions at exactly the same time, and by performing all evaluations and actions in the original sequence.
DB Visual Architect (DBVA) is a powerful tool that provides support for Object Relational Mapping (ORM) and Entity Relationship Diagrams (ERD), which assist with realizing UML designs as relational database implementations. By drawing a class diagram for the system, you can generate the required database tables and persistent source code for database manipulation. It can also be used with existing software.