Search Results for "alpha"

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/

Este proyecto se encuentra orientado al desarrollo de un sistema de administración de estudiantes respecto a su matricula y calificaciones, además de la vinculación de los profesores a las asignaturas.

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

Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...

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.

An open and easy to configure digital agile scrumboard.

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

JHosting is a highly extensible component based hosting platform built upon Java, JBoss Seam and ICEfaces enterprise technologies. Features include flexible billing and policy based provisioning system and easy to write plugins.

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.

JAgile (or "Java Agile") is a simple but practical framework in Java. It implements some JEE Patterns as Transfer Object, Session Facade, Business Object, DAO Factory and DAO. Its unique persistence implementation is the Hibernate Framework.

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