Open Source UML Tools - Page 2

JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.

JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.

Moved to Google Code, see http://code.google.com/p/pythonequations/downloads/list

Quantum Mechanical Toolkit And 3D Viewer for C++. Allows Data Visualisation via Images, Surfaces and Volume plots using OpenGL, as well as rapid development Quantum Mechanical Simulations. Uses the Blitz++, VTK Visualisation and Qt Libraries.

RANGE: produce random genetic transcription networks in the NEMO language, which when compiled outputs models in Systems Biology Markup Language. Generate synthetic microarray data, or use NEMO alone to SBML-ize a network, or visualize it in cytoscape.

A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.

Adaptive Work-Centered User Interface Technology (ACUITy) utilizes semantic technology in an ontology-based approach to modeling and implementing intelligent user interfaces.

AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.

An army of ARM assembly language tools.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

In Systems Biology models are created in various formats (Matlab, Java, C/C++, Python, ...). "Annotate Your Model" will help you to link your model to biological web resources by creating a CSV file containing MIRIAM annotations.

Architecture model items and symbols useful when modelling a rail system. Model stored as XMI for use in tools.

Software developed for the analysis of Neutron Reflectivity data.

Behavioural Hybrid Process Calculus (BHPC) simulation tool.

it provides a user interface to the economic theory through an intuitive and easily understandable quantification of the economic value of alternative business models.

The Bidirectional Object-oriented Transformation Language (BOTL) is a tool for object-oriented model transformations.

It's a Cat and Dog game,we develop the Inner AI strategy for the Dog and we also code the strategy of the cat in order to simulate the user. Furthermore we use Artificial Neural Network to build the experiment

A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra.

Object models for sequence variome, phenotype and biobanking data

This project has moved to GitHub https://github.com/BioGearsEngine/Engine

That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.

CASUP is a Cellular Automata (CA) library for HPC and supercomputers. It can be used in materials science (microstructure evolution, grain coarsening, fracture etc.), physics (Ising magnetisation) and for many other CA. If you use the library, please reference it as: A. Shterenlikht, L. Margetts, Three-dimensional cellular automata modelling of cleavage propagation across crystal boundaries in polycrystalline microstructures, Proc. Roy. Soc. A 471:20150039, DOI: http://dx.doi.org/10.1098/rspa.2015.0039. CASUP can be linked with FE (e.g. MPI FE library ParaFEM, http://parafem.org.uk) for a multi-scale multi-physics CA-FE framework. CASUP extensively uses Fortran 2008 and 2018 coarrays, as well as MPI, OpenMP and do concurrent. CASUP can be used with Cray, Intel and GCC/OpenCoarrays compilers. Scaling beyond 100,000 cores on Cray XC30 was demonstrated.

CE-QUAL-ICM Version 1.0 is a three-dimensional eutrophication model for the Chesapeake Bay and major tributaries developed by researchers at the U.S. Army Corps of Engineers Engineering Research and Development Center in Vicksburg, MS.

CUAHSI ODM API implements in Stored Procedures for MySQL and SQLServer, ODM web api implement REST interface, provide internet user full operation on remote ODM via the internet,Joe Hu MapWindow software lab,Idaho State Univer