Search Results for "eclipse python uml"
Sort By:
16 projects for "eclipse python uml" with 2 filters applied:
-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
The #1 CRM in Real EstateAutomate marketing campaigns, boost your brand awareness, capture and convert more leads, all in ONE intuitive platform.
-
1
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
2
Simulation of Urban MObility
SUMO is a microscopic, multi-modal traffic simulation.
SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation. The code and the issue tracker can be found at https://github.com/eclipse-sumo/sumo/ The documentation can be found at https://sumo.dlr.de/docs/ -
3
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
4
dvkit
Eclipse-based IDE for design verification tasks
DVKit provides an Eclipse-based integrated development environment (IDE) for common design-verification tasks, such as developing SystemVerilog, C++, TCL, Python, and shell code -
Run your private office with the ONLYOFFICEA Comprehensive Alternative to Office 365 for Business
-
5
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.
-
6
The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
-
7
Provide a reference implementation of Moving Taylor Bayesian Regression, a method for nonparametric multi-dimensional function estimation with correlated errors from finite samples, as a Python package based on SciPy
-
8
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
-
9
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.
-
Use the Filerev app to organize Google Drive and reduce storage costs.Use the Filerev app to organize Google Drive and reduce storage costs. The Duplicate File Finder quickly shows all duplicates in Google Drive without downloading all of your files. The Storage Analyzer lets you browse your folders by size in Google Drive. You can also view your Google Drive files in different categories such as: hidden / orphaned files, large files, empty files, empty folders, large folders, old files, temporary files, files by extension. Every category includes powerful filters and the ability to bulk delete your files in Google Drive. Plus, there are charts and graphs to help you quickly see how your storage space is being used and the number of files and specific types of files or folders that are consuming the most space. You can get started for free to see what is consuming your Google Drive storage space and quickly clean up the clutter.
-
10
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.
-
11
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.
-
12
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.
-
13
-
14
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.
-
15
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.
-
16
aXBench Examples
Examples for the aXBench.
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.
- Previous
- You're on page 1
- Next
