|PIMed is a tool for the creation of presentation models and presentation interaction models|
Once models have been created the tool can be used to generate abstract tests from these models, and also to export presentation interaction models (PIMs) as a .muz file for use with the AMuZed tool
PIMed is free, open-source
software, distributed under
the GPL (GNU Public License).
|PIMed is provided as a Java jar file
The ReadMe document gives a brief overview of how to run and use the tool
Return to the Formal Methods Lab
PIMed was created by Judy Bowen
and subsequently developed further
by Bradley Campbell
All work was done within the FM Lab
at the University of Waikato.
Department of Computer Science, University of Waikato, Hamilton, New