Concepedia

Roger Duke

RD

Statistics

Publications

15

Citations

722

H-Index

14

Active since

1989

Affiliations

The University of Queensland(Current)

Roger Duke is an author at The University of Queensland specializing in engineering, formal methods, and software engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware EngineeringSystem SoftwareSoftware AnalysisFormal VerificationSoftware DesignAutomated ReasoningSystems Engineering

Publications per year

1989–2007

15

Publications

15

Object-Z: A specification language advocated for the description of standards

Roger Duke, Gordon A. Rose, Graeme Smith · Computer Standards & Interfaces · 1995 · 227 citations

Specification Language, Formal Specification, Engineering +12

Object-Z: An Object-Oriented Extension to Z

D. A. Carrington, David Duke, Roger Duke et al. · Formal Techniques for (Networked and) Distributed Systems · 1989 · 113 citations

Engineering, Automated Reasoning, Formal Methods +9

The object-Z specification language: version 1

Roger Duke, Paul King, Gordon A. Rose et al. · 1991 · 92 citations

Teaching programming to beginners - choosing the language is just the first step

Roger Duke, Eric Salzman, Jay Burmeister et al. · 2000 · 61 citations · Full text

Second Language Learning, Engineering, Programming Subject +22

Temporal logic and Z specifications

Roger Duke, Graeme Smith · 1990 · 38 citations

1–5 of 15