Search Results for "alpha linux"

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.

Our goal is to find out useful and funny ways for expanding the possibilities of many FOSS by integrating them with other FOSS and proprietary systems. You'll find here many open source plugins and extensions useful to put those FOSS hermits together.

When it comes to Agile Project Management, some high performing tools are acting a vital role for projects success. AGILO is pretend to be one of the best agile tools present in the market which intends to manage all the project related activities like (user stories, iteration, burn down charts, resource load, standup meetings, backlog etc.) performed in an Agile project Development. It allows you to plan and track the progress of your development cycle on the fly by giving you the...

A tool designed to help with the process of Agile planning and development. The immediate aim of this project is to offer a light, free and user-friendly solution for small and medium sized products developed using Agile techniques.

One desktop application to make more easy put existing texts in a resource bundle.

A very Flexible and Plugin-able Test Automation Engine. It fully supports the Standardized Test Tool Interfaces as described in http://www.testtoolinterfaces.com/

For Java developpers who need to request SOAP server... until SOAP is deprecated. This is a client Java API. It does not require neither perform any code generation. It fits within a single jar file. soap-dust is validated against real servers.

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

A QT based code gen. app for visual php development. Based on a XML XSLT PHP framework that makes it possible to select visual elementsin a WebKit rendered HTML editor and generate PHP that gets the XML and add the XSLT into the current HTML.

AssemblerFramework是一个基于JAVAEE的框架。提供MVC、IOC容器、国际化、plugin机制等功能，框架自身采用松散结构，除了入口的Servlet，其他部件提供了可替换和扩展点。提供了注解和xml2种配置。

BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .

An Eclipse Plugin that Generates Unit Tests. Generates basic tests or Open POJO tests for simple objects and generates test stubs for complex objects. Helps developers test projects created without Unit tests or without Agile methodologies

Very simple and powerful list of things that need to be "just done". Created mostly for agile people. Developed with good desgin (design patterns) using test driven development and clean code principles.

Eclipse plug-in for Richfaces Web project with maven support. Follow the instructions in the Readme.txt. The plug-in & maven archetype are also available at:- http://code.google.com/p/richfaces-maven-plugin/ . More at http://www.w3avatar.com

The Checker framework is an easily expansible set of check/transformation to build hierarchy of chain operations easily to-store/to-be created and re utilized (at run time if you want).

DbSlim is a set of Fitnesse SLIM Test System fixtures which enables tests to execute directly against a database. http://fitnesse.org/FitNesse.UserGuide.SliM

Agido is an extensible Agile Documentation Tool for Agile Development Projects. The documentation can be written in plain text in a wiki style markup and exported to different output formats such as PDF and HTML.

It is a small, fast , fresh object/relational persistence and query system, with commented and fully-functional JUnit tests. 20 times smaller. Based on eclipse plugins, mapping based on the eclipse extension points, but it can run without eclipse runtime

A powerful but lightweight configuration-, dependency-injection-, and scripting framework for the JVM, leveraging a combination of annotations and the standard Java script engine framework to provide self-validating scriptable configuration files

The goal is to generate UML classes from an existing database. Connect to a database, read its schema and produce UML 2 classes with associations (conforming to Eclipse EMF). Prerequisite: - Eclipse 3.4 - MDT - EMF 2.4 / UML 2.0

Actor provides a web-enabled, self-service user interface to run your scripts. You run a desktop application to setup your scripts in Actor. Your users get a web site where they access your scripts in a controlled, fail-safe manner.

axis2M increase the usability of Apache Axis2 by integrating with Maven2 with Convention over Configuration concept.Axis2M provide Quickstart archetype "run" plug-in to run SimpleHttpServer,customized versions of WSDL2Code,Java2WSDL,AAR plug-ins.