Search Results for "package installer linux"

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.

This is the Eclipse Plugin Site for "Java Code Generators". The plugin provides a menu entry "Java Code Converters" in the Eclipse Package Explorer. This menu opens a sub menu. Each sub menu entry works in the same way: 1. A directory dialog is opened. 2. Choose the directory where the properties for the generation are located 3. Print "OK" and await the code generation results For each Java Code Generator different properties files with different property keys are...

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.

A simple tool to help you create an R interface for your Java project. Simply annotate the constructors and methods you want to make available and JAnnotateR will produce a working package, complete with documentation generated from javadocs.

XOB (XMLObjectBinder) is Java package that is an alternative to JAXB. It lets you define interfaces representing XML tags and have them automatically implemented runtime through the use of reflection giving you an object representation of your XML files.

Java-based package for the development and maintenance of GUI database applications.

a Java package containing a hierarchy of "html widgets" (i.e.: a "window-like" widget, a tabbedPanel widget, a treeMenu widget, etc) useful to decorate web application pages. These widgets are rendered by a custom JSP tag library.

The Spring-Validator package provides a simple way to auto-generate JavaScript client side validate code and provides a common validator for SimpleFormController

antlraux is a java package thought to be used in combination with antlr(http://www.antlr.org). Features contextual information management, command line parsing and lexical information treatment.

Apache Ant based tool for generation a template project that includes directory structure, makefiles (build.xml, for example) and portions of source code. One can find this resembles PERL h2xs tool.

100% java. Platform Indipendent. Using this java package, other java developper able to process Rose petal file as needed, like for generating EJB codes for Appservs. Full documentation, easy to include java package.

SourceGen is a java package intended to be use by applications that need to generate [language] source files automatically, where [language] initially is java, supporting other Object-Based languages in the future.

A JAVA package (that can be compiled to a COM DLL) that assists database programmers in generating dynamic SQL, from any platform (using JAVA), eliminating ugly string concatenation code for a more eloquent OO approach.

The Java MultiMethod Framework is a pure Java package that permit to deal with multimethod in Java.

Zaval GDP is a set of components that allow to control size, location, cursor type for the Java AWT/Swing/LwVCL components. Actually, components are Java AWT events listeners that have no GUI part.

JRPT is a library of JAVA objects and generic JSP files which enables the report creation offering many features at no programming cost. The package contains doc with examples of reports and their implementation in JRPT.