default search action
Roger Duke
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [c29]Niusha Hakimipour, Paul A. Strooper, Roger Duke:
Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY 2008 - 2006
- [c28]Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 - 2005
- [c27]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: 100-109 - [c26]Jin Song Dong, Roger Duke, Ping Hao:
Integrating Object-Z with Timed Automata. ICECCS 2005: 488-497 - 2004
- [c25]Luke Wildman, Roger Duke, Paul A. Strooper:
Viewpoint-Based Testing of Concurrent Components. IFM 2004: 501-520 - [c24]Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman:
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS 2004 - [c23]Roger Duke, Tim Miller, Paul A. Strooper:
Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139 - 2003
- [c22]Janelle Pollard, Roger Duke:
Using Student-Computer Interactions to Categorize Educational Software. ICALT 2003: 302-303 - [c21]Roger Duke, Luke Wildman, Brad Long:
Modelling Java Concurrency with Object-Z. SEFM 2003: 173-181 - 2002
- [c20]Janelle Pollard, Roger Duke:
A Software Design Process to Facilitate the Teaching of Mathematics. ICCE 2002: 906-907 - [c19]Kirsten Winter, Roger Duke:
Model Checking Object-Z Using ASM. IFM 2002: 165-184 - 2001
- [c18]Soon-Kyeong Kim, David A. Carrington, Roger Duke:
A Metamodel-based transformation between UML and Object-Z. HCC 2001: 112-119 - 2000
- [c17]Roger Duke, Eric Salzman, Jay Burmeister, Josiah Poon, Leesa Murray:
Teaching programming to beginners - choosing the language is just the first step. ACSE 2000: 79-86
1990 – 1999
- 1998
- [j8]Steven Butler, Roger Duke:
Defining composition operators for object interaction. Object Oriented Syst. 5: 1-16 (1998) - 1997
- [j7]Jin Song Dong, Roger Duke, Gordon A. Rose:
An object-oriented denotational semantics of a small programming language. Object Oriented Syst. 4: 29-52 (1997) - [c16]Roger Duke:
In search of the inverse curriculum. ACSE 1997: 65-70 - [c15]Jin Song Dong, Lin Zucconi, Roger Duke:
Specifying Parallel and Distributed Systems in Object-Z. PDSE 1997: 140-149 - 1996
- [j6]Roger Duke, Cecily Bailes, Graeme Smith:
A Blocking Model for Reactive Objects. Formal Aspects Comput. 8(3): 347-368 (1996) - [c14]Roger Duke:
The design of an experiential component for a formal methods computer science subject. ACSE 1996: 111-118 - 1995
- [j5]Motoshi Saeki, Roger Duke:
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 5(3): 325-326 (1995) - [c13]Jin Song Dong, Gordon A. Rose, Roger Duke:
The role of secondary attributes in formal object modelling. ICECCS 1995: 31-38 - 1993
- [c12]Jin Song Dong, Roger Duke:
An Object-Oriented Approach to the Formal Specification of ODP Trader. Open Distributed Processing 1993: 341-352 - [c11]Jin Song Dong, Roger Duke:
Class Union and Polymorphism. TOOLS (12/9) 1993: 181-190 - [c10]Roger Duke:
Formal Methods for the Design and Specification of Object-Oriented Systems. TOOLS (12/9) 1993: 324 - [c9]Roger Duke:
Class Operators for Object Compatibility. TOOLS (12/9) 1993: 449-461 - 1992
- [c8]Roger Duke:
Case Studies in Object-Oriented Formal Specification. TOOLS (6) 1992: 236 - 1991
- [c7]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: 166-170 - [c6]Roger Duke:
Formal Specification of Object-Oriented Systems. TOOLS (5) 1991: 463-464 - [c5]Roger Duke, Paul King, Gordon A. Rose, Graeme Smith:
Associated Paper: The Object-Z Specification Language. TOOLS (5) 1991: 465-484 - 1990
- [c4]David J. Duke, Roger Duke:
Towards a Semantics for Object-Z. VDM Europe 1990: 244-261 - [c3]Roger Duke, Gordon A. Rose, Graeme Smith:
Transferring Formal Techniques to Industry. FORTE 1990: 279-286 - [c2]Roger Duke, Gordon A. Rose, Anthony Lee:
Object-oriented protocol specification. PSTV 1990: 325-338
1980 – 1989
- 1989
- [j4]Roger Duke, Graeme Smith:
Temporal Logic and Z Specifications. Aust. Comput. J. 21(2): 62-66 (1989) - [c1]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: 281-296 - 1988
- [j3]Roger Duke:
On Binary Reducibility. Eur. J. Comb. 9(2): 109-111 (1988) - 1987
- [j2]Roger Duke, D. Johnston, Gordon A. Rose:
Specifying the Static Semantics of Block Structural Languages. Aust. Comput. J. 19(2): 99-104 (1987) - [j1]Roger Duke:
Matroid Erection and Duality. Eur. J. Comb. 8(4): 367-370 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint