Search Results for "automatic"

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.

An awesome new way of adding SOAP and REST web services to any Spring IOC based Java project in minimum time. This library takes out all the pain part of implementing Soap & Rest Web Services specific code from developer's plate and does it in a very smart way. All you need to do is add dependency of this library to your project, add some annotations to your interfaces, add a servlet entry into your web.xml. & you are all set to go. Library uses Apache CXF to create SOAP based web services &...

The ReFit Eclipse plugin performs automatic refactoring of the Fit test specs (http://fit.c2.com) and of the relevant code when a refactoring process is invoked. NOTE: The project is still in Beta, but we think stable enough, to be used. Just try. For more information about the project, installation and use instructions see https://sourceforge.net/apps/trac/fitrefactoring/ We are pleased about the many downloads.

Deployer is a Java-based AJAX web application that performs automatic deployments of WAR files to different containers. WAR artifacts taken from a Maven repository can be deployed to various stages. Featuring XML configuration and i18n support.

A framework for developing multi device and technology capable mobile sites with the Coldfusion language. Initially developed for OpenBD v1.4 (also on v1.5) and tested in Jetty server on a Windows computer. Bundles tested to work in MacOSX and Win.