MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Graeme Smith" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

42 documents found, showing 1 through 10. Next 10 →

ATOM

Contents Preface ix
by Graeme Smith
…The Object-Z Specification Language Graeme Smith Software Verification Research Centre University…
Add To MetaCart

Introducing Parallel Composition to the Timed Refinement Calculus
by Graeme Smith — 2000 — 2000: Proceedings of the 7th Australasian Conference on Parallel and Real-Time Systems
…Introducing Parallel Composition to the Timed Refinement Calculus Graeme Smith Software…
Cited by 1 (0 self) – Add To MetaCart

A Logic for Object-Z
by Graeme Smith, Graeme Smith — 1994 — Proceedings of the 9th Annual Z-User Meeting
… Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-48 Graeme Smith A…
Cited by 24 (8 self) – Add To MetaCart

From Ideal to Realisable Real-Time Specifications
by Graeme Smith — 1999 — Fifth New Zealand Formal Program Development Colloquium, number 99-1 in IIMS Technical Report. Institute of Information and Mathematical Sciences, Massey University at
…From Ideal to Realisable Real-Time Specifications Graeme Smith Software Verification Research…
Cited by 1 (0 self) – Add To MetaCart

An integration of real-time object-z and csp for specifying concurrent real-time systems
by Graeme Smith — 2002 — In IFM, volume 2335 of LNCS
… Smith Software Verification Research Centre, University of Queensland, Australia smith…
Cited by 2 (0 self) – Add To MetaCart

A Fully Abstract Semantics of Classes for Object-Z
by Graeme Smith — 1995
… Abstract Semantics of Classes for Object-Z Graeme Smith Software Verification Research Centre, University…
Cited by 28 (10 self) – Add To MetaCart

A Development Framework for Object-Oriented Specification and Refinement
by Graeme Smith — 1995
…A Development Framework for Object-Oriented Specification and Refinement Graeme Smith CRIN…
Cited by 1 (0 self) – Add To MetaCart

Recursive Schema Definitions in Object-Z
by Graeme Smith, Graeme Smith — 2000
… Queensland 4072 Australia TECHNICAL REPORT No. 00-16 Recursive Schema Denitions in Object-Z Graeme Smith…
Cited by 4 (3 self) – Add To MetaCart

Specification and Refinement of a Real-Time Control System
by Graeme Smith — 1999 — In Australian Computer Science Conference'99-Australian Computer Science Communications, number 1 in 21
…Specification and Refinement of a Real-Time Control System Graeme Smith Software Verification…
Cited by 1 (0 self) – Add To MetaCart

A Logic for Object-Z (Additional Rules)
by Graeme Smith, Graeme Smith — 1995
… Queensland 4072 Australia TECHNICAL REPORT No. 95-26 A Logic for Object-Z (Additional Rules) Graeme Smith…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB