The SCEAS System
Navigation Menu

Search the dblp DataBase


Roger Duke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.005secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002