Browse by all authors Browse By Author ID - Duke, Roger W.

Browse Results (27 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
Kim, S., Carrington, D. A. and Duke, R. W. (2001). A metamodel-based transformation between UML and object-z. In: S. Levialdi, Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, (112-119). 5-7 September, 2001. 72   0
Graham, Alan and Duke, Roger An applet for the teacher: Mathematics for the imagination. London, U.K.: Tarquin Publications, 2010. 60  
Pollard, J. R. and Duke, R. W. (2005). A reference architecture for instructional educational software. In: G. Low, Conferences in research and practice in information technology: ICT In Education. South East Asia Regional Computer Confederation (SEARCC) 2005, Sydney, Australia, (43-52). 28 - 30 September, 2005. 77  
Pollard, J. and Duke, R. W. (2002). A software design process to facilitate the teaching of matehmatics. In: B. Werner, Proceedings of the International Conference on Computers in Education. Proceedings of the International Conference on Computers in Education, Auckland, New Zealand, (906-907). 3-6 December, 2002. 32   0
Tilley, Thomas, Hesse, Wolfgang and Duke, Roger (2003). A software modelling exercise using FCA. In: Ganter, B. and de Moor, A., Using Conceptual Structures: Contributions to ICCS, Germany, (213-226). 2003. 64 109
Tilley, T. A., Hesse, W. and Duke, R. W. (2003). A software modelling exercise using FCA. In: B. Ganter and A. Moor, Berichte aus der Mathematik; Using Conceptual Structures: Contributions to ICCS2003. International Conference on Conceptual Structures, Dresden, Germany, (213-226). 21-25 July, 2003. 38  
Duke, R. W. and Pollard, J. R. (2004). Cases studies in integrating the interactive whiteboard into the secondary school mathematics classroom. In: W. Yang, S. Chu, T. de Alwis and K. Ang, Proceedings of the Ninth Asian Technology Conference in Mathematics. The Ninth Asian Technology Conference in Mathematics, Singapore, (169-177). 13-17 December, 2004. 193  
Pollard, J. R. and Duke, R. W. (2003). Creating a teacher and software-developer partnership. In: C. Constantinou and Z. Zacharia, Computer Based Learning in Science: New Technologies and Their Applications in Education. Computer Based Learning in Science, Cyprus, (313-321). 5-10 July, 2003. 40  
Duke, R W and Graham, A (2006). Designing applets to build on intuition. In: S. Chu, S. Hou and W. Yang, Proceedings of the Eleventh Asian Technology Conference in Mathematics. Eleventh Asian Technology Conference in Mathematics, Hong Kong, (178-185). 12-16 December, 2006. 37  
Pollard, Janelle and Duke, Roger (2006). Effective mathematics education software in the primary school. In: 6th Asian Technology Conference in Mathematics, Melbourne, Australia, (177-186). Dec 2001. 148 151
Pollard, J. and Duke, R. W. (2001). Effective mathematics education software in the primary school: A teachers' perspective. In: W. Yang, S. Chu, Z. Karian and G. Fitz-Gerald, Proceedings of the Sixth Asian Technology Conference in Mathematics. Sixth Asian Technology Conference in Mathematics, Melbourne, (177-186). 15-19 December, 2001. 115  
Hakimipour, Niusha, Strooper, Paul and Duke, Roger (2008). Exploring model-based development for the verification of real-time Java code. In: Bernhard Beckert and Gerwin Klein, IJCAR 2008: 4th International Joint Conference on Automated Reasoning. Workshop Program: 5th International Verification Workshop. VERIFY’08. VERIFY'08: 5th International Verification Workshop, in connection with IJCAR 2008: The 4th International Joint Conference on Automated Reasoning, Sydney, NSW, Australia, (71-81). 10-15 August, 2008. 90   Cited 0 times in Scopus0
Duke, R. W. and Rose, G. Formal Object-Oriented Specification using Object-Z. United Kingdom: Macmillan, 2000. 327  
Pollard, J. and Duke, R. W. (2002). From maths proplem to program: What's the best path?. In: V. Carrington, J. Mitchell, S. Rawolle and A. Zavros, Troubling Practice. Educational Research: Rethinking Structures and Practices, Brisbane, (195-206). 19-20 October, 2002. 53  
Duke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. In: R. Boute and C. Dean, Teaching Formal Methods: Proceedings of the CoLogNET/FME Symposium, TFM 2004. CoLogNET/FME Symposium on Teaching Formal Methods, Ghent, Belgium, (124-139). 18-19 November, 2004. doi:10.1007/b102075 74   1 0
Duke, R. W. and Salzman, E. Java Genesis. Australia: Pearson Education Australia, 2000. 86  
Graham, Alan and Duke, Roger (2009). Matchbox algebra. In Jenny Houssart and John Mason (Ed.), Listening counts: Listening to young learners of mathematics (pp. 71-84) UK: Trentham Books. 57  
Graham, Alan and Duke, Roger (2009). Matchbox algebra. In Jenny Houssart and John Mason (Ed.), Listening figures: Listening to learners of mathematics at secondary school and above (pp. 25-38) UK: Trentham Books. 66  
Winter, K. and Duke, R. W. (2002). Model checking object-Z using ASM. In: M. Butler, L. Petre and K. Sere, proceedings of the Integrated Formal Methods 3rd International Conference, IFM 2002. Integrated Formal Methods 3rd International Conference, IFM 2002, Turku, Finland, (165-184). 15-18 May, 2002. 48 287
Duke, R. W., Wildman, L. P. and Long, B. J. (2003). Modelling Java concurrency with Object-Z. 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, (173-181). 25-26 September 2003. doi:10.1109/SEFM.2003.1236219 67   1 0
Long, B. J., Duke, R. W., Goldson, D. W., Strooper, P. A. and Wildman, L. P. (2004). Mutation-based exploration of a method for verifying concurrent Java components. In: B. Monien, Proceedings of the Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004). The Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, New Mexico, (265-1-265-8). 26-30 April 2004. doi:10.1109/IPDPS.2004.1303338 66   0
Pollard, J. R. and Duke, R. W. (2003). Revelations in the design of educational mathematical software. In: W. Yang, S. Chu, T. de Alwis and M. Lee, The Eighth Asian Technology Conference in Mathematics: Technology Connecting Mathematics. The Eighth Asian Technology Conference in Mathematics, Taiwan, (332-341). 15-19 December, 2003. 35  
Duke, R. W., Salzman, E., Burmeister, J., Poon, J. and Murray, L. (2000). Teaching programming to beginners: Choosing the language is the first step. In: Ainslie E Ellis, The Proceedings of the Fourth Australasian Computing Education Conference: ACE 2000. ACE 2000, Melbourne, (79-86). 4-6 December 2000. 67  
Duke, Roger, King, Paul, Rose, Gordon and Smith, Graeme (1991) The object-Z specification language: version 1. SVRC Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 27 1
Kim, S. K., Wildman, L. P. and Duke, R. W. (2005). UML approach to the generation of test sequences for Java-based concurrent systems. In: P. Strooper, Proceedings of the 2005 Australian Software Engineering Conference. 2005 Australian Software Engineering Conference, Brisbane, Australia, (100-109). 29 March-1 April 2005. doi:10.1109/ASWEC.2005.11 80 45 1 Cited 7 times in Scopus7 0
Pollard, J. R. and Duke, R. W. (2003). Using student-computer interactions to categorize educational software. In: V. Devedzic, J. Spector and D. Sampson, Proceedings of the Third International Conference on Advanced Learning Technologies. The Third International Conference on Advanced Learning Technologies, Greece, (302-303). 9-11 July, 2003. 36   0
Wildman, Luke, Duke, Roger and Strooper, Paul (2004). Viewpoint-based testing of concurrent components. In: E. Boiten, J. Derrick and G. Smith, Lecture Notes in Computer Science: Proceedings of the Fourth International Conference on Integrated Formal Methods. The Fourth International Conference on Integrated Formal Methods, Canterbury, UK, (501-520). 4-7 April, 2004. doi:10.1007/b96106 86 94 2 0