RSS 1 project tagged "voting"

Download Website Updated 17 Jun 2010 Votail

Screenshot
Pop 22.98
Vit 38.96

Votail is an implementation of Ireland's method of Proportional Representation by Single Transferable Vote (PRSTV). The functional requirements derived from Irish electoral law are specified using Business Object Notation (BON) and the Java Modeling Language (JML). Formal methods have been used to verify the correctness of the software.

Screenshot

Project Spotlight

General Configuration Form Manager

A minimalist Web server for configuration forms.

Screenshot

Project Spotlight

asciidia

A program to create bitmaps from simple ASCII diagrams.