Concepedia

Graeme Smith

GS

Statistics

Publications

24

Citations

909

H-Index

14

Active since

1989

Affiliations

The University of Queensland(Current)

Defence Science and Technology Group

Queensland University of Technology

University of Kent

University of Sheffield

Graeme Smith is an author at The University of Queensland specializing in engineering, formal methods, and software design.

ORCID

Top concepts

Publications per year

1989–2024

24

Publications

24

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

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

, , +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

, , +9

The object-Z specification language: version 1

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

A fully abstract semantics of classes for Object-Z

Graeme Smith · Formal Aspects of Computing · 1995 · 68 citations · Full text

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

Graeme Smith, John Derrick · Formal Methods in System Design · 2001 · 60 citations

1–5 of 24