Search Results for "virtual windows machine"

SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.

MSS Code Factory turns XML Business Application Models into source code by applying a knowledge base of expansion rule cartridges. Each cartridge of rules in the knowledge base defines the code to be produced for a particular language, tool, or combination thereof. A cartridge can also integrate the rules from other cartridges, so you can create a virtual cartridge that will produce all the code to support a given software stack that the rules provide. MSS Code Factory takes over the...

ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of...

SableCC is a parser generator which generates object-oriented frameworks for building compilers, interpreters and other text parsers. SableCC keeps a clean separation between machine and user code which leads to a shorter development cycle.

A highlevel API to instrument Java bytecode. Jiapi can be used to modify bytecode of a Java class before it is loaded into a virtual machine.

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

ECharts is a state machine-based programming language for event-driven systems derived from the standardized UML Statecharts language. ECharts has a proven track-record in a large-scale commercial deployment. Take a look at what ECharts has to offer!

JPype is an effort to allow python programs full access to java class libraries. This is achieved not through re-implementing Python, as Jython/JPython has done, but rather through interfacing at the native level in both Virtual Machines. Maintenance and evolution of the project has moved! please see http://www.jpype.org for the latest version

SM2W is an Eclipse plug-in that allows users to generate Apache Wicket code (Java and Html markup) from a state machine diagram.

This is the tool for generating C++ and Java finite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event

A Java bytecode weaver that enables you to take advantage of the new 1.5 language features in your source code, while still retaining compatibility with 1.4 virtual machines.

FSMGenerator is a turn-key solution for FSM (Finite State Machine) automatic generation and integration within user`s software. Please, register to get fast personalized support. Feedbacks, feature requests and bug reports are greatly appriciated.

Many design artifacts can be directly executed. UML state processes can be executed by a state machine; UML sequence diagrams can be executed directly. ExecDesign will be a suite of Java tools which can be used to document and execute UML designs.

K-automaton is a new parsing (syntactic analysis) machine isomorphous to language. Implemented in Java. Can generate Java code from grammars described in EBNF.

jRate is a real-time Java compiler and runtime system (based on GNU GCJ) with support for much of the Real-Time Specification for Java (RTSJ), including threading constructs with real-time constraints, asynchronous event handling, and memory regions.

JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.

lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello State Machine", interesting demo that generates C++ code.

NunniFSMGen generates a FSM (Finite State Machine) in Java, C or C++ starting from a transition table. NunniFSMGen cleanly separates logic from implementation by using a modified version of the state pattern, easing the development process!

This is java State Machine Framework for all OS platforms. The framework is for modeling any event processing system as a state machine. This aims to separate the state transition and event handling logic from the business logic and let developers conce

Eclipse plugin for JBurga Bottom-Up Rewrite Machine Generator for Java.

Model implementation for the BaSa language, a Turing-like language. This simple language is to be run in a virtual machine. The proposed language specification is defined in http://www.cs.ui.ac.id/kuliah/IKI40800/model.html

Janux is a project to port the java virtual machine directly on top of the Linux kernel using bypassing the traditional posix enviroment. This results in very fast java implementation for linux and and opportinuty to develop java based operating syste

an API for rapidly developing Java, desktop apps It includes a virtual desktop , user interface API, GUI client for management of SQL databases,and a form design tool which allows basic application code to be generated from a SQL table or tables

This is an open source state machine template for C++. Initially FSM support will be given. The purpose is to facilitate developers to create state machine based C++ applications easily.