Search Results for "manufacturing"

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

Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.

GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.

MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

This project consists from a java based framework to create barcode images (EAN13, EAN8, UPCA, UPCE, Code 3 of 9, Codabar, Code 11, Code 93, Code 128, MSI/Plessey, Interleaved 2 of 5, PostNet, etc).

Moved to Google Code, see http://code.google.com/p/pythonequations/downloads/list

PYthon to ASsembler TRAnslator. At this moment supports Microchip PIC16 instruction set only. Its main goals are: to support a wide range of microcontrollers and processors, to generate compact and effective code.

Intend to reproduce most of the conversational programming functionality of the Fagor 8055TC lathe controller. Web browser interface for easy portability between different OS. Visit project web-site for demo.

A set of tools and utilities that allow development teams to practice code generation techniques in a scalable and extensible manner. This is based on the style of code generation found in Ruby on Rails.

Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.

Adatoccpptranslator is a software developped in C++ for Linux, Solaris and Windows which convert Ada 83/95 source code to comprehensive, maintenable C/C++ source code by preserving the readibility and the structure of original code

deltaFSD is a graphical tool for defining a program by linking the inputs and outputs of functions. The links created between functions determine the interdependencies within the program and so the sequence in which the functions should be executed.

A framework for highly customisable e-commerce: A system for automatically build an e-commerce interface supporting product´s contraints and properties.

Provide a flexible, scalable and extensible EAI (enterprise application integraion) solution.

jUDO (java Universal Data Objects) handles coding against a database Independent of database (plugins for db2/Oracle/Cloudscape/mysql/mysql etc).The code is generated "runtime" , just give the method names and jUDO derives the code/sql.