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.

The project was developed for C/C++ programmers who are not familiar with SQL syntax.

HMGScript is a JavaScript library. The goal of the project is to allow developers the creation of web applications using the same logic as desktop applications via simple objects. For data manipulation, it allows the use of MySql databases and dbf (xBase) files.

DUnit is a framework of classes designed to support the Xtreme approach to software testing. This branch from the principal project, is for transform his visual interface to the new Firemonkey framework, know too as FMX. Current version is only for the old VCL framework. When project finish, it shall work for run unit test in Windows and Mac OS X. And of course for Android and IOS too. Did you need this approach? You can support us saying you like this project and leaving a...

Intranet My Web Applications. This is a develop tool for creating intranet web applications based on mysql store procedures.

QuteContainer is a lightweight Inversion of Control (IOC) container to use for Dependency Injection. QuteContainer is build with and for the C++ Qt framework. QuteContainer can automatically resolve object dependency trees using constructor parameter injection.

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.

Application which helps in scrum plannings. Written in Qt/QML - highly portable.

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

Agile Test is a web-based test case management system with easy-to-use interface. It is designed to fit the team management needs regarding user stories, feature requirements and test cases in scrum framework. Online Demo: http://agiletest.cc/demo

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.

Cross platform GUI managing bookmarks and shortcuts in a portable way. Support import/export, search, encryption, hierarchical tags, USB key installation, various environments integration, OS-dependent shortcuts, plugins extensibility.

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

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

BXL is a web application development tool. With BXL you can configure forms and also sub forms in html on database queries. BXL uses: PHP, MySQL, XSLT, JQuery and Ajax.

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

The NOAP toolkit provides a collection of utilities to use for slightly more exotic development on the Common Language Infrastructure. NOAP includes a fast ORM, an Objective-C compiler for .NET, and much more. See the Web site for more information.

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.

Web-based relational database designer. With version control, autosave and real-time database manipulation. TODO: admin module, search, undo/redo buttons, multi-database real-time support (only PostgreSQL actually), etc. Based on WWWSQLDesigner