Roger Duke

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