The University of Queensland Homepage
UQ HomepageSearch UQFind all Contacts at UQStudy Options at UQEvents at UQUQ MapsUQ LibraryLink to my.UQ
School of ITEE ITEE Main Website
      

 

 

        Peter Welch et al is translating CSP (including channels) to Java.

        Mark Utting is going Testing in B using animator technology.

         Some course notes on Testing

        Some course notes on specification based Testing

        Some more course notes on Testing
© 2002-2009 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B
Authorised by: Head of School
Maintained by: webmasters@itee.uq.edu.au