School of Computing and Mathematical Sciences School of Computing and Mathematical Sciences

PIMed


PIMed - An editor for presentation models and presentation interaction models

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).



Download
PIMed is provided as a Java jar file
The ReadMe document gives a brief overview of how to run and use the tool

  • PIMed
  • ReadMe
    • Return to the Formal Methods Lab

    If you download these applications please send an email to jbowen@cs.waikato.ac.nz. so that we can keep you informed of upgrades and enhancements.
    To report any bugs or problems please send an email to jbowen@cs.waikato.ac.nz.

    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.

    Web-administrator, Department of Computer Science, University of Waikato, Hamilton, New Zealand