Search Results for "note 4"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

This utility provides a GUI to create unit files for the game "Battle for Wesnoth". The user sets the unit properties from the GUI of the utility. Once all the properties have been set, it is possible to export them into a .cfg which will be read by the game. Further details can be found in the project wiki: http://sourceforge.net/p/wesworkshop/wiki/. Version 1.1* released. Please go to the wiki page to see the changes. Note you will not be able to load your works developed with the...

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

Composer is a graphical authoring tool to create hypermedia documents to interactive digital TV (iDTV) in NCL (Nested Context Language - www.ncl.org.br). ******************************************************************** NOTE: A completely new version of NCL Composer is under development. For more details and recent information about this project refer to http://composer.telemidia.puc-rio.br ********************************************************************

XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST