Search Results for "gnu dev environment"

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

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

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.

LiveCoder helps you to play with Coffee-Script ( Language that compiles to JavaScript) , Jade ( Popular Node.js Template Engine), and Stylus CSS pre-processor. This is not a IDE or any Development Environment, This just helps you to effectively learn these languages.

Hades aims to become the reference open source environment for developing, validating and deploying PLUTO (Procedure Language for Users in Test and Operations) procedures.

AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.

Structs and Nodes Development for Java. An alternative approach to enterprise-class software development using a message oriented execution model and code generation. Deploys to servlet container + db environment.

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

XgaG stands for "XgaG generates all Games". Our goal is to provide an easy to use modeling environment to build all kinds of board games.

mda4eclipse is a domain-driven and model-driven development eclipse plugin. Its purpose is to present a way of using different project sites to work together and establish a shared development environment.

SMARD is a development environment that simplifies the programming of applications based on mobile agents. Using a graphical interface, programmers can design, build and launch mobile agents which are intended to run on JADE platforms.

Powerful PHP IDE/Editor. Automatically generates code for your scripts, based on our own PHP Framework. Can create projects, full class/function breakdown. Supports PHP 5x. Under active alpha development (as of Feb 06), subversion repository for latest.

UML transformation tool; developed in Java and XSLT; Runs on any java 1.3+ platform. Environment for code generation from UML models, based on XMI, e.g. to J2EE, webservices, xml schema; New generators (xslt/java) can be plugged in. www.modelbased.net

This site is intended as a location containing a suite of tools to (1) Aid in the design of db APIs to be utilized in a J2EE environment and (2) generate stubs for the db API, Java classes and SQL DDL necessary to support the MVC pattern and the Data Own

<b>A simple, flexible, light weight application enclosure from which rapid extension is possible in the Java programming environment. Includes the config framework similar to Apache's digester tool, except control is encapsulated in the constructor.</b>

The Freestyler Toolkit leverages the strengths of native Java on both Linux-kerneled systems and Windows to create native SWT Graphical User Interfaces and native Apache XmlRpc servants that work seemlessly with MySQL relational databases. The toolkit cr

hIDE is an Integrated Development Environment (IDE) for C++, C & Java based application programming. It is currently being developed on the Linux platform with plans for an eventual port to Windows.

Djeneric is a toolset based on the pattern of meta-data based code generation. Besides using it as a generator, Djeneric can also be used as a prototyping tool or a 4GL style Java development environment. Visit http://www.djeneric.org for more info

FL is OR mapper that generates code that is able to work in J2EE environment. Source of generation is Rational Rose model.

The startJ is a small but very powerful java integrated development environment, which provides multiple document edit, code reformat, compile, decompile and automaticliy generate C++/delphi JNI wrapper code.

Tomato is an experimental Java application development environment which aims to replace text-based Java programming with a point-and-click visual programming language. The prototype works sufficiently to help develop parts of itself.

A framework for user-extensible compilers and development tools, including a Java-to-Java extensible compiler, ideal for Java code refactoring. Also includes the new LX programming language.

A Java Swing-based development environment to assist in the rapid creation of Struts-based (currently Struts 1.1b) web applications. This standalone application allows users to create from scratch and/or import existing Struts 1.x struts-config.xml files,

This project is a plugin for the Eclipse development environment providing JAVA developers with a Webservice development environment similar to the MS Visual Studio .NET platform. Create and import Webservices from WSDL/UDDI.

The "Visual Code Generation Environment" project is a Object Oriented development environment that allows Design, Coding, Documentation, Compiling Test Plans, and Testing of an Application to occur in parallel, as one single task.