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.

PhpDependencyAnalysis is an extendable static code analysis for object-oriented PHP-Projects to generate dependency graphs from abstract datatypes (Classes, Interfaces and Traits) based on namespaces. Dependencies can be aggregated to build graphs for several levels, like Package-Level or Layer-Level. Each dependency can be verified to a defined architecture.

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.

A C++ unittest framework, written out of frustration with the existing unittest frameworks out there. No GUI with colorful progress bars, no dependencies on any other package in the world.

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.

Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.