Searching for authors named "Roger Duke" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
