Browse by all authors Browse By Author ID - Watson, Geoffrey N.

Browse Results (13 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Watson, Geoffrey Norman (2001). A Generic Proof Checker PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 810 1462
Watson, G. N. and Fidge, C. J. (2003). A partial-correctness semantics for modelling assembler programs. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. First International Conference on Software Engineering and Formal Methods 2003, Brisbane, Australia, (82-90). 22-27 September 2003. doi:10.1109/SEFM.2003.1236210 61   0 0
Carrington, D., Hayes, I., Nickson, R., Watson, G. N. and Welsh, J. (1996) A Tool for Developing Correct Programs by Refinement. technical Report no. 95-49, Software Verification Research Centre, School of Information Technology, The University of Queensland. 482 564
Javed, A. Z., Strooper, P. A. and Watson, G. N. (2007). Automated generation of test cases using model-driven architecture. In: H. Zhu, E. Wong and A. Paradkar, Automation of Software Test 2007 (AST '07). Second International Workshop on Automation of SoftwareTest 2007 (AST '07), Minnesota, U.S.A., (). 20-26 May 2007. doi:10.1109/AST.2007.2 131   Cited 0 times in Scopus0 0
Watson, Kathryn, Wright, Anthony, Morris, Norman, McMeeken, Joan, Rivett, Darren, Blackstock, Felicity, Jones, Anne, Haines, Terry, O'Connor, Vivienne, Watson, Geoffrey, Peterson, Raymond and Jull, Gwendolen (2012) Can simulation replace part of clinical time? Two parallel randomised controlled trials. Medical Education, 46 7: 657-667. doi:10.1111/j.1365-2923.2012.04295.x 49   9 Cited 16 times in Scopus16 5
Watson, G. N. (2003). Compilation by refinement for a practical assembly language. In: J. Dong and J. Woodcock, Proceedings of the Fifth International Conference on Formal Engineering Methods. The Fifth International Conference on Formal Engineering Methods, Singapore, (286-305). 5-7 November 2003. doi:10.1007/b94115 34   1 0
Süß, Jörn Guy, McComb, Tim, Kim, Soon-Kyeong, Wildman, Luke and Watson, Geoffrey (2006). MDA-based re-engineering with Object-Z. In O. Nierstrasz, J. Whittle, D. Harel and G. Reggio (Ed.), Model Driven Engineering Languages and Systems 1 ed. (pp. 291-305) Berlin: Springer. doi:10.1007/11880240_21 64   2 0
Tichon, Jennifer, Watson, Geoffrey, Wallis, Guy, Banks, Jasmine and Mavin, Timothy (2010). Measurement of affect during simulation-based training. In: Proceedings of the 46th Annual Conference of the Human Factors and Ergonomics Society of Australia. 46th Annual Conference of the Human Factors and Ergonomics Society of Australia, Sunshine Coast, QLD, Australia, (53-64). October 31-November 3 2010. 71   Cited 0 times in Scopus0
Watson, Geoffrey Norman (1998) Proof representations in Theorem Provers. SVRC Technical Report 98-13, Software Verification Research Centre, School of Information Technology, The University of Queensland. 14 1
Watson, G. N. (2002). Refining exceptions using King and Morgan's exit construct. In: P. Strooper and P. Muenchaisri, 9th Asia-Pacific Software Engineering Conference (APSEC 2002): Proceedings. APSEC 2002: Ninth Asia-Pacific Software Engineering Conference, 2002, Gold Coast, Australia, (43-51). 4-6 December 2002. doi:10.1109/APSEC.2002.1182974 38   0
Blackstock, Felicity C., Watson, Kathryn M., Morris, Norman R., Jones, Anne, Wright, Anthony, McMeeken, Joan M., Rivett, Darren A., O'Connor, Vivienne, Peterson, Raymond F., Haines, Terry P., Watson, Geoffrey and Jull, Gwendolen Anne (2013) Simulation can contribute a part of cardiorespiratory physiotherapy clinical education: two randomized trials. Simulation in Healthcare, 8 1: 32-42. doi:10.1097/SIH.0b013e318273101a 59   1 Cited 3 times in Scopus3 5
Tichon, Jennifer, Watson, Geoffrey and Wallis, Guy (2011) Using feature extraction and electromyography to evaluate affect during simulation. International Journal of Human Factors Modelling and Simulation, 2 1/2: 149-162. doi:10.1504/IJHFMS.2011.041635 61 2 0
Fidge, C. J., Lermer, K. R. C. and Watson, G. N. (2002) Verifying program transformations using partial correctness semantics Brisbane, Australia: The University of Queensland 51