Computer Science Home | People | Degrees | Papers | Research | Events | Other FCMS Subjects
Projects | Publications | Theses | Laboratories

CIG: The Collaborative Information Gathering Project (HCI)

FM: micro-Chart Tools

Handheld Devices/Laid-Back Computing (HCI)

LIDS: The Application of Large Interactive Display Surfaces (HCI)

NZDL: The New Zealand Digital Library Project

The B/Z Testing Tools Project

The University of Waikato Usability Laboratory (HCI)

WAND: The Waikato Applied Network Dynamics Group

WEKA: The Waikato Environment for Knowledge Analysis Project

Projects
The B/Z Testing Tools Project

Mark Utting

The B/Z Testing Tools project is a collaborative research project between our FM Lab and the LIB at the University of Franche-Comté France (project leader: Bruno Legeard). This project is developing techniques and tools for the validation of Z and B specifications and the generation of test sets from specifications;

  © 2007 FCMS. The University of Waikato - Te Whare Wananga o Waikato