Search Results for "eclipse python uml" - Page 2

emios project : Environmental Memory Interoperable Open Service.

An environment for building and executing actor/dataflow models, including support for the CAL actor language.

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.

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

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.

The Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.

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 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.

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

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

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.

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.

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

QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.

This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).

A Discrete EVents Simulation (DEVS) of a Precision Approach Radar (PAR) developed as an assignment for the SYSC5105 course at the Carleton University. It was developed as DEVS formalism and implemented using the CD++ toolkit plugin to Eclipse. Code on SV

This is a suite of tools for farmers it includes local market prices for their sales, weather reports, other features useful to farmers.

The aXBench (AUTOSAR extensible workbench) is a free eclipse plugin for modeling variant system architectures. This project collects modeling examples for the aXBench without having ti deal with the source code of the aXBench.

A basic simulation of aircraft emergency evacuation developed in CELL-DEVS using the CD++ Toolkit. A python script was then adapted to visualize this project in Blender. Code on SVN only at this time.

DEVSimPy is an advanced wxPython GUI for the modeling and simulation of systems based on the DEVS (Discrete EVent system Specification) formalism. Features include powerful built-in editor, advanced modeling approach, powerful discrete event simulation algorithm, import/export DEVS components library and more.

Labcoat for SuperWikia Alpha fabrication manages new or revised fabrication processes. Its 'Cleanroom' applets allow codesmiths to access the lab environment, used to create semiconductors, substrate prototypes, chipset instruction blocks and other Labcoat projects. Our extensions in future releases will include UML support for C#/C++ conforming projects, import/export architecture schematics and refactoring sub-projects.