Search Results for "windows 7 vm"

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.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

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

This project has the intention to support MVP with MVVM patterns in a new framework for desktop or web applications. This framework support an MVP or MVP-VM implementation. More info at http://javamvpvmframework.blogspot.com

Integrates the ArgoUML modelling tool into IntelliJ IDEA 8+

A Simple and Efficient Framework for Infinite Resolution Simulation; provides a Java Thread-like class that executes over simulated time. Time units are user-definable, no time quanta, and neither changes to the VM nor pre-processing are required.

u4j2rsf is a java tool to translate reports generated by Understand for Java to RSF (Rigi Standard Format).

This Project offers different model operations for the Eclipse Modeling Framework, such as comparison, difference calculation, merging and a unification of EMF models.

Simple implementation of finite state machine concepts. The project contain ease-to-use library and modeling graphical tool. Project define simple identical API for Finite State Machines for both language bindings (C# and Java).

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.

Fast UML is an open-source UML tool with a simple user interface pop-up free. Draw UML diagrams fast, export diagrams to png, jpg and clipboard. It pretends to be the union between Violet and UMLet.

LightUML is an Eclipse(TM) (www.eclipse.org) integration of UMLGraph (www.spinellis.gr/sw/umlgraph/), a lightweight tool for generating class diagrams from Java projects and packages. Previously installed GraphViz (www.graphviz.org) is required!

The Eclipse XML Meta-Modeling Tools project provides tools like editors, extended validation and generators for developing xml based meta-models and domain-specific languages in eclipse.

java-turing-emulator aims to provide a GUI for creating, editing and simulating Turing machines and deterministic machines. its build in java and uses the swt-framework.