Search Results for "gnu operating system"

An integrated CASE system that: • Supports multiple views and stages of project development – from keeping track of reference documentation to analysis/design modelling, to project implementation, roll-out and tracking the project-related issues. • Supports distributed development of projects by multiple participants, while proactively enforcing access control rules and auditing changes. • Is available on all platforms where development takes place (Windows, Unix/Linux, MacOS,...

Design/Reverse Engineer/Generate Scripts/Compare Versions of all major databases with "Apricot DB" ERD- tool "Apricot DB" is a database tool for design and analysis of the relational database structure. It represents the DB- structure in the form of editable Entity/Relationship Diagrams (ERD). "Apricot DB" allows to perform reverse engineering on the existing database, as well as to create a new database structure from scratch. Allows to generate the essential DDL- scripts for...

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.

The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.

Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (https://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our...

Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw. It provides basic support to model variants and extract variants from a system model. It provides support...

jFuzzyLogic is a java implementation of a Fuzzy Logic software package. It implements a complete Fuzzy inference system (FIS) as well as Fuzzy Control Logic compliance (FCL) according to IEC 61131-7 (formerly 1131-7).

CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.

Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.

Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.

Yaoqiang XPDL Editor (YXE) is a graphical editor for workflow process definitions, compliant with WfMC specifications( XPDL 2.1 and 1.0 )

This project aims to provide an automated tool to perform risk analyses against system models. At present, these models are described in UML using Sparx' System Architect tool, but others may be supported in future.

(Pre-Alpha) Cross-Platform ERD to Database Design Tool built in Java. Currently Supports PostgreSQL. Not Feature-Complete.

CodaServer is a database that makes building business applications easy. It uses a SQL-like language that lets you describe your workflow and business processes, and uses this information to enforce your business rules and guarantee data integrity.

a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .

Recito is a graphical modeling and process simulation platform.

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.

MudMop, abbr. for Multi-User Discontinuous system MOdeling Platform, is an enterprise application framework, stands on modeling real world business which is discontinuous, and build business perspective data view and process operations to multi-users

The OMEGA plugin for eclipse is a generic infrastructure for the creation of specialized model editors aiming at Model-Driven Development.It provides a “canvas” for drawing the models and a code generating part for any desired output format.

JPowerFlow - a steady state electric power system power flow solver.

Simulation too for assessing the availability of Peer-to-Peer storage schemes, such as Distributed Hash Tables, Bucketing, and Replication.