Search Results for "package"

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

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

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.

- A plug-in to generate an abstract class with an enumeration of keys from a properties file. (Adds an action with a corresponding icon into the popup menu of the package explorer) - A plug-in of associated assistance - An update site for this feature.

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.

Taglibtools aims to be a suite of programs and utility tools for custom tag library developers and JSP coders. The focus of this package is in generating java code and documentation straight from the original .tld files. This package includes taglibd

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.