Open Source Linux UML Tools

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

The Shrimp suite provides interactive visualizations of graph-based data. Creole (Eclipse plug-in) visualizes Java source code. Jambalaya (Protege plug-in) visualizes ontologies (including OWL), & Stand-Alone Shrimp visualizes RSF/GXL/PRJ/PPRJ files.

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.

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

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

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

The Genomic Diversity and Phenotype Data Model (GDPDM) captures molecular and phenotypic diversity data. MySQL databases are used to implement the schema. This project develops software tools (written in Java, Perl, etc.) associated with this model.

ISIADIS: development environment for hierarchical software systems. ISIADIS allows prototyping, development and running software systems that are based on hierarchical (tree-like) architecture.

ISOcat is the, now discontinued, open source reference implementation of the ISO 12620 standard, which describes the data model and procedures for a Data Category Registry (DCR).

JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.

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.

KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.

This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.

The class libraries here provide infrastructure for creating simulations of low energy nuclear physics experiments, as well as some useful working programs that do simple simulations and analysis of experiments performed with magnetic spectrographs.

Ocular is a spreadsheet written entirely in python. Cell contents are evaluated by python after any standard spreadsheet coordinates are parsed. This allows the full Monty from Python to be implemented in a visual environment.

The Semantic Application Design Language (SADL) expresses domain knowledge as semantic models and rules. The SADL-IDE (integrated development environment) is an Eclipse plug-ins for editing SADL, converting to OWL, and testing using Jena or Pellet.

Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. When run these will list objects of a particular type (e.g. all Systems, all Enterprise Goals), potential quality problems (e.g. diagrams and objects without any description, objects not linked to any other), things of interest (e.g. open, closed concerns) and view-like results e.g. all structural relationships in the solution - model views to list object

This is a project created and supported by: Angel Castellanos Juan Cigarrán Recuero Ana García Serrano This projects allows the modelling of textual contents by applying different techniques: TF-IDF KLD Mutual Information Chi^2 With this application the users can be able to extract the most representative terminology of a textual collection. The application is Java-based, allowing their execution in several platforms and operative systems (Windows, Linux, MacOS).

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.

The UEMLFacilitator project aims to develop and evaluate a prototype GUI for defining and managing the Unified Enterprise Modelling Language version 2 (UEML2).

emios project : Environmental Memory Interoperable Open Service.

jDSM is a Java library for representing and analyzing Design Structure Matrices (DSM). It can be used to analyze any Java software with regards to modularity.

Open Source Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.

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.