Roger Duke

Publication Activity (10 Years)

Years Active: 1987-2008
Publications (10 Years): 0

Publications

Niusha Hakimipour, Paul A. Strooper, Roger Duke
Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY (2008)
Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
Formal Specification-based Online Monitoring. ICECCS (2006)
Jin Song Dong, Roger Duke, Ping Hao
Integrating Object-Z with Timed Automata. ICECCS (2005)
Soon-Kyeong Kim, Luke Wildman, Roger Duke
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. Australian Software Engineering Conference (2005)
Roger Duke, Tim Miller, Paul A. Strooper
Integrating Formal Specification and Software Verification and Validation. TFM (2004)
Luke Wildman, Roger Duke, Paul A. Strooper
Viewpoint-Based Testing of Concurrent Components. IFM (2004)
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS (2004)
Roger Duke, Luke Wildman, Brad Long
Modelling Java Concurrency with Object-Z. SEFM (2003)
Janelle Pollard, Roger Duke
Using Student-Computer Interactions to Categorize Educational Software. ICALT (2003)
Kirsten Winter, Roger Duke
Model Checking Object-Z Using ASM. IFM (2002)
Janelle Pollard, Roger Duke
A Software Design Process to Facilitate the Teaching of Mathematics. ICCE (2002)
Soon-Kyeong Kim, David A. Carrington, Roger Duke
A Metamodel-based transformation between UML and Object-Z. HCC (2001)
Roger Duke, Eric Salzman, Jay Burmeister, Josiah Poon, Leesa Murray
Teaching programming to beginners - choosing the language is just the first step. ACSE (2000)
Steven Butler, Roger Duke
Defining composition operators for object interaction. Object Oriented Syst. 5 (1998)
Jin Song Dong, Roger Duke, Gordon A. Rose
An object-oriented denotational semantics of a small programming language. Object Oriented Syst. 4 (1997)
Jin Song Dong, Lin Zucconi, Roger Duke
Specifying Parallel and Distributed Systems in Object-Z. PDSE (1997)
Roger Duke
In search of the inverse curriculum. ACSE (1997)
Roger Duke
The design of an experiential component for a formal methods computer science subject. ACSE (1996)
Roger Duke, Cecily Bailes, Graeme Smith
A Blocking Model for Reactive Objects. Formal Aspects Comput. 8 (3) (1996)
Motoshi Saeki, Roger Duke
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 5 (3) (1995)
Jin Song Dong, Gordon A. Rose, Roger Duke
The role of secondary attributes in formal object modelling. ICECCS (1995)
Roger Duke
Formal Methods for the Design and Specification of Object-Oriented Systems. TOOLS (12/9) (1993)
Jin Song Dong, Roger Duke
An Object-Oriented Approach to the Formal Specification of ODP Trader. Open Distributed Processing (1993)
Jin Song Dong, Roger Duke
Class Union and Polymorphism. TOOLS (12/9) (1993)
Roger Duke
Class Operators for Object Compatibility. TOOLS (12/9) (1993)
Roger Duke
Case Studies in Object-Oriented Formal Specification. TOOLS (6) (1992)
Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
Formal Techniques for OO Software Development (Panel). OOPSLA (1991)
Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
Associated Paper: The Object-Z Specification Language. TOOLS (5) (1991)
Roger Duke
Formal Specification of Object-Oriented Systems. TOOLS (5) (1991)
Roger Duke, Gordon A. Rose, Graeme Smith
Transferring Formal Techniques to Industry. FORTE (1990)
Roger Duke, Gordon A. Rose, Anthony Lee
Object-oriented protocol specification. PSTV (1990)
David J. Duke, Roger Duke
Towards a Semantics for Object-Z. VDM Europe (1990)
David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
Object-Z: An Object-Oriented Extension to Z. FORTE (1989)
Roger Duke, Graeme Smith
Temporal Logic and Z Specifications. Aust. Comput. J. 21 (2) (1989)
Roger Duke
On Binary Reducibility. Eur. J. Comb. 9 (2) (1988)
Roger Duke, D. Johnston, Gordon A. Rose
Specifying the Static Semantics of Block Structural Languages. Aust. Comput. J. 19 (2) (1987)
Roger Duke
Matroid Erection and Duality. Eur. J. Comb. 8 (4) (1987)