Graphical Visual ARD Rapid Development Alloy – A rule prototyping tool. Based on varda.

Several additional functions have been also added, including:

• fully fledged GUI (implemented using SWI Prolog XPCE),
• refactoring/redesign (allowing to redesign the developed model at any stage),
• integration of the refactoring with GUI.

All VARDA/GVARDA functions are available as Prolog predicates (API) or through GUI. Some screenshots are given below.

This software is available upon request from: Igor Wojnicki wojnicki@agh.edu.pl.

This page is UNDER CONSTRUCTION. There will be same more information about GVARDA and GVARDA posted soon. Stay tuned.