Roger Duke

According to our database, Roger Duke authored at least 37 papers between 1987 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Exploring Model-Based Development for the Verification of Real-Time Java Code.

Niusha Hakimipour, Paul A. Strooper, Roger Duke

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2006

Formal Specification-based Online Monitoring.

Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

Integrating Object-Z with Timed Automata.

Jin Song Dong, Roger Duke, Ping Hao

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.

Soon-Kyeong Kim, Luke Wildman, Roger Duke

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

Integrating Formal Specification and Software Verification and Validation.

Roger Duke, Tim Miller, Paul A. Strooper

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.

Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Viewpoint-Based Testing of Concurrent Components.

Luke Wildman, Roger Duke, Paul A. Strooper

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Modelling Java Concurrency with Object-Z.

Roger Duke, Luke Wildman, Brad Long

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Using Student-Computer Interactions to Categorize Educational Software.

Janelle Pollard, Roger Duke

Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

2002

Model Checking Object-Z Using ASM.

Kirsten Winter, Roger Duke

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Software Design Process to Facilitate the Teaching of Mathematics.

Janelle Pollard, Roger Duke

Proceedings of the International Conference on Computers in Education, 2002

2001

A Metamodel-based transformation between UML and Object-Z.

Soon-Kyeong Kim, David A. Carrington, Roger Duke

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000

Teaching programming to beginners - choosing the language is just the first step.

Roger Duke, Eric Salzman, Jay Burmeister, Josiah Poon, Leesa Murray

Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, 2000

1998

Defining composition operators for object interaction.

Steven Butler, Roger Duke

Object Oriented Syst., 1998

1997

An object-oriented denotational semantics of a small programming language.

Jin Song Dong, Roger Duke, Gordon A. Rose

Object Oriented Syst., 1997

Specifying Parallel and Distributed Systems in Object-Z.

Jin Song Dong, Lin Zucconi, Roger Duke

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

In search of the inverse curriculum.

Roger Duke

Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

1996

A Blocking Model for Reactive Objects.

Roger Duke, Cecily Bailes, Graeme Smith

Formal Aspects Comput., 1996

The design of an experiential component for a formal methods computer science subject.

Roger Duke

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

Guest Editor's Introduction.

Motoshi Saeki, Roger Duke

Int. J. Softw. Eng. Knowl. Eng., 1995

The role of secondary attributes in formal object modelling.

Jin Song Dong, Gordon A. Rose, Roger Duke

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1993

Class Operators for Object Compatibility.

Roger Duke

Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

Formal Methods for the Design and Specification of Object-Oriented Systems.

Roger Duke

Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

Class Union and Polymorphism.

Jin Song Dong, Roger Duke

Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

An Object-Oriented Approach to the Formal Specification of ODP Trader.

Jin Song Dong, Roger Duke

Proceedings of the Open Distributed Processing, 1993

1992

Case Studies in Object-Oriented Formal Specification.

Roger Duke

Proceedings of the TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1991

Associated Paper: The Object-Z Specification Language.

Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

Formal Specification of Object-Oriented Systems.

Roger Duke

Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

Formal Techniques for OO Software Development (Panel).

Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

1990

Object-oriented protocol specification.

Roger Duke, Gordon A. Rose, Anthony Lee

Proceedings of the Protocol Specification, 1990

Transferring Formal Techniques to Industry.

Roger Duke, Gordon A. Rose, Graeme Smith

Proceedings of the Formal Description Techniques, 1990

Towards a Semantics for Object-Z.

David J. Duke, Roger Duke

Proceedings of the VDM '90, 1990

1989

Temporal Logic and Z Specifications.

Roger Duke, Graeme Smith

Aust. Comput. J., 1989

Object-Z: An Object-Oriented Extension to Z.

David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Proceedings of the Formal Description Techniques, 1989

1988

On Binary Reducibility.

Roger Duke

Eur. J. Comb., 1988

1987

Matroid Erection and Duality.

Roger Duke

Eur. J. Comb., 1987

Specifying the Static Semantics of Block Structural Languages.

Roger Duke, D. Johnston, Gordon A. Rose

Aust. Comput. J., 1987