Open Source Java UML Tools for Windows

This is a game.Player has to save his target point(staff).There is an enemy tank. The enemy tank will be trying to kill the staff.If staff is killed then game will be over. And if player can kill the enemy tank then player will win the game.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

drawcode é um plugin do eclipse para edição de diagramas de classe e NS(Nassi & Shneiderman), com a possibilidade de gerar código a partir da associação destes 2 tipos de diagramas.

GenLab abbreviation of Genetics Laboratory .It is a user-friendly bioinformatics tool to support your bioinformatics lab work. GenLab creates a software user-friendly environment, which makes users to make a large number of protein, DNA, and RNA sequence analysis and excellent graphical viewing. It also provides powerful environment for simulations of Protein 3D molecular models. GenLab typically provides: •User-friendly graphical tools used for finding and working with relevant regions of DNA, RNA, and protein sequences. •Full integration of data input, data management, calculation results. This eliminates time spent on manual data transfers between different programs and databases. •Output functionalities, including generation of graphics output.

Project of MEPHI Students (K8-224).

KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.

SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.

This is a project for performance prediction of middleware based systems. The tool support the separation of modeling and construction for performance impacts. The input of our tool is UML model with SPT annotation.

Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.

This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.

This Eclipse plugin import XMI, and shows the UML class diagram. The generated arrangement diagram, can be modifiable, and can export to jpg.

Plugin para o Eclipse que instancia um processo de software modelado no Eclipse Process Framework utilizando o XML exportado pela ferramenta. Editor de arquivos com a extensão '.instancia'.

Clothes - sewing CAD for creation of models of clothes. Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.

FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.