2011 Working Papers

  • Improving our fitnesse: From concrete executions to partial specification

    Streader, David; Utting, Mark; Mugridge, Rick (University of Waikato, Department of Computer Science, 2011-04-07)
    Fitnesse and FIT [5] allow systems tests to be written by non-programmers using a Wiki or HTML style of input. However, there is little support for syntactic and semantic checks as the tests are being designed. This paper ...
  • An implementation of a compositional approach for verifying generalised nonblocking

    Francis, Rachel (University of Waikato, Department of Computer Science, 2011-04-27)
    Generalised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often ...
  • A review of user interface adaption in current semantic web browsers

    Turner, Emmanuel King; Hinze, Annika; Jones, Steve (University of Waikato, Department of Computer Science, 2011-02-08)
    The semantic web is an example of an innumerable corpus because it contains innumerable subjects expressed using innumerable ontologies. This paper reviews current semantic web browsers to see if they can adaptively show ...
  • Three variations of observation equivalence preserving synthesis abstraction

    Mohajerani, Sahar; Malik, Robi; Ware, Simon; Fabian, Martin (University of Waikato, Department of Computer Science, 2011-01-26)
    In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the ...

View more