Search Results for "virtual-machine"

Umple is technology for Model-Oriented Programming. It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal...

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.

...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 duties of the junior programmer on large database integration projects, whose primary task is to follow the templates provided by the application architect and senior systems analysts. If you can provide a template, it is usually possible to define rules to produce code following the template. ...

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.

...The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. A step-by-step tutorial is available within the software package.

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.

SMC is a java program that generates Java, C++, or C# (and possibly others) code from a simple state table syntax. This is the original project from Robert C. Martin (Unble Bob) as presented on the www.objectmentor.com website for so many years.

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