Search the dblp DataBase

Publications of Author

1. Soon-Kyeong Kim, Luke Wildman, Roger Duke
   A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Australian Software Engineering Conference, 2005, pp:100-109 [Conf]
   
2. David J. Duke, Roger Duke
   Towards a Semantics for Object-Z. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1990, pp:244-261 [Conf]
   
3. David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
   Object-Z: An Object-Oriented Extension to Z. [Citation Graph (0, 0)][DBLP]
   FORTE, 1989, pp:281-296 [Conf]
   
4. Roger Duke, Gordon A. Rose, Graeme Smith
   Transferring Formal Techniques to Industry. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:279-286 [Conf]
   
5. Janelle Pollard, Roger Duke
   Using Student-Computer Interactions to Categorize Educational Software. [Citation Graph (0, 0)][DBLP]
   ICALT, 2003, pp:302-303 [Conf]
   
6. Janelle Pollard, Roger Duke
   A Software Design Process to Facilitate the Teaching of Mathematics. [Citation Graph (0, 0)][DBLP]
   ICCE, 2002, pp:906-907 [Conf]
   
7. J. S. Dong, R. Duke, P. Hao
   Integrating Object-Z with Timed Automata. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:488-497 [Conf]
   
8. Jin Song Dong, Gordon A. Rose, Roger Duke
   The role of secondary attributes in formal object modelling. [Citation Graph (0, 0)][DBLP]
   ICECCS, 1995, pp:31-38 [Conf]
   
9. Luke Wildman, Roger Duke, Paul A. Strooper
   Viewpoint-Based Testing of Concurrent Components. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:501-520 [Conf]
   
10. Kirsten Winter, Roger Duke
    Model Checking Object-Z Using ASM. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:165-184 [Conf]
    
11. Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
    Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
    
12. Jin Song Dong, Roger Duke
    An Object-Oriented Approach to the Formal Specification of ODP Trader. [Citation Graph (0, 0)][DBLP]
    Open Distributed Processing, 1993, pp:341-352 [Conf]
    
13. Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
    Formal Techniques for OO Software Development (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1991, pp:166-170 [Conf]
    
14. Roger Duke, Gordon A. Rose, Anthony Lee
    Object-oriented protocol specification. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:325-338 [Conf]
    
15. Roger Duke, Luke Wildman, Brad Long
    Modelling Java Concurrency with Object-Z. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:173-181 [Conf]
    
16. Roger Duke, Tim Miller, Paul A. Strooper
    Integrating Formal Specification and Software Verification and Validation. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:124-139 [Conf]
    
17. Soon-Kyeong Kim, David A. Carrington, Roger Duke
    A Metamodel-based transformation between UML and Object-Z. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:112-119 [Conf]
    
18. Roger Duke
    Case Studies in Object-Oriented Formal Specification. [Citation Graph (0, 0)][DBLP]
    TOOLS (6), 1992, pp:236- [Conf]
    
19. Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
    Associated Paper: The Object-Z Specification Language. [Citation Graph (0, 0)][DBLP]
    TOOLS (5), 1991, pp:465-484 [Conf]
    
20. Roger Duke
    Formal Specification of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (5), 1991, pp:463-464 [Conf]
    
21. Jin Song Dong, Roger Duke
    Class Union and Polymorphism. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:181-190 [Conf]
    
22. Roger Duke
    Class Operators for Object Compatibility. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:449-461 [Conf]
    
23. Roger Duke
    Formal Methods for the Design and Specification of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:324- [Conf]
    
24. Roger Duke, D. Johnston, Gordon A. Rose
    Specifying the Static Semantics of Block Structural Languages. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1987, v:19, n:2, pp:99-104 [Journal]
    
25. Roger Duke, Graeme Smith
    Temporal Logic and Z Specifications. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1989, v:21, n:2, pp:62-66 [Journal]
    
26. Roger Duke, Cecily Bailes, Graeme Smith
    A Blocking Model for Reactive Objects. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:347-368 [Journal]
    
27. Steven Butler, Roger Duke
    Defining composition operators for object interaction. [Citation Graph (0, 0)][DBLP]
    Object Oriented Systems, 1998, v:5, n:, pp:1-16 [Journal]
    
28. Jin Song Dong, Roger Duke, Gordon A. Rose
    An object-oriented denotational semantics of a small programming language. [Citation Graph (0, 0)][DBLP]
    Object Oriented Systems, 1997, v:4, n:, pp:29-52 [Journal]
    
29. Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
    Formal Specification-based Online Monitoring. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:152-162 [Conf]
    
30. 
    Exploring Model-Based Development for the Verification of Real-Time Java Code. [Citation Graph (, )][DBLP]
    
    
31. 
    The design of an experiential component for a formal methods computer science subject. [Citation Graph (, )][DBLP]
    
    
32. 
    In search of the inverse curriculum. [Citation Graph (, )][DBLP]
    
    
33. 
    Teaching programming to beginners - choosing the language is just the first step. [Citation Graph (, )][DBLP]