Search Results for "package installer linux"

Please note that the JR PrintServer is in productive release status. Further development is still in progress. Improvements are being implemented. Therefore minor changes in behavior are possible. For documentation and some tips & tricks take a look a the Wiki pages. You may also start a Discussion to get some additional hints.

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.

Simple order fulfillment system with flexible order decomposition and domain specific programming language for describing decomposition scenarios. Most suitable for Mobile Communications operators who are using Oracle BPEL and AIA technology.

Scooter framework is a high-productivity full-stack Java web framework. With Scooter, you can build RESTful database-backed web applications in minutes in Java. You will enjoy Ruby-on-Rails-like development style and much more.