Searching for authors named "Roger Duke" – sorted by Relevance.
-
Temporal Logic and Z Specifications
- Australian Computer Journal 21(2):62-66 May 1989 Temporal Logic and Z Specifications Roger Duke
- Cited by 11 (0 self) – Add To MetaCart
-
Defining Composition Operators for Object Interaction
- Steven Butler Roger Duke Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports
- Cited by 12 (2 self) – Add To MetaCart
-
Behavioural Retrieval from Class Libraries
- Behavioural Retrieval from Class Libraries Steven Atkinson Roger Duke Software Verification
- Cited by 6 (5 self) – Add To MetaCart
-
Model Checking Object-Z Using ASM
- Winter and Roger Duke Version 1, October 2002 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http
- Cited by 2 (1 self) – Add To MetaCart
-
Integrating Formal Specification and Software Verification and Validation
- Integrating Formal Specification and Software Verification and Validation Roger Duke, Tim Miller
- Add To MetaCart
-
Fully Abstract Model of Reactive Objects
- Abstract Model of Reactive Objects Roger Duke, Cecily Bailes and Graeme Smith Software Verification
- Add To MetaCart
-
Formalising Behavioural Compatibility for Reactive Object-Oriented Systems
- Compatibility for Reactive Object-Oriented Systems Roger Duke Paul King Graeme Smith Key Centre for Software
- Cited by 1 (0 self) – Add To MetaCart
-
A UML Approach to the Generation of Test Sequences for Java-based Concurrent Systems
- -Kyeong Kim, Luke Wildman and Roger Duke School of Information Technology and Electrical Engineering
- Cited by 3 (1 self) – Add To MetaCart
-
Object-Z: a Specification Language Advocated for the Description of Standards
- Object-Z: a Specification Language Advocated for the Description of Standards Roger Duke Gordon
- Cited by 146 (16 self) – Add To MetaCart
-
Exploring Model-Based Development for the Verification of Real-Time Java Code
- , Paul Strooper 1 , and Roger Duke 1 University of Queensland, St. Lucia, Queensland, Australia niusha
- Add To MetaCart

