Searching for authors named "Lindsay Groves" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Software Evolution with Refinement and Retrenchment
- …Software Evolution with Refinement and Retrenchment Michael Poppleton 1 and Lindsay Groves 2 1…
- Add To MetaCart
-
The Evolution of Tarraingím: A Model and System for Abstract Program . . .
- …, School of MPCE Macquarie University, Sydney kjx@(email omitted); Robert Biddle and Lindsay Groves…
- Add To MetaCart
-
An Augmented Frame Representation for Building Designs
- …, Lindsay Groves Computer Science Department Victoria University of Wellington Wellington New Zealand Mike…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal verification of a practical lock-free queue algorithm
- …Formal Verification of a Practical Lock-Free Queue Algorithm Simon Doherty 1 , Lindsay Groves 1…
- Cited by 14 (2 self) – Add To MetaCart
-
Formal verification of a lazy concurrent list-based set
- …Formal Verification of a Lazy Concurrent List-Based Set Algorithm Robert Colvin 1 , Lindsay Groves…
- Cited by 10 (1 self) – Add To MetaCart
-
Metavariables and Conditional Refinements in the Refinement Calculus
- … and Conditional Refinements in the Refinement Calculus Raymond G. Nickson and Lindsay J. Groves y Technical…
- Cited by 6 (2 self) – Add To MetaCart
-
Integrating Design Tools for Building Design
- …Integrating Design Tools for Building Design ROBERT W. AMOR, LINDSAY J. GROVES and MIKE R. DONN…
- Cited by 2 (2 self) – Add To MetaCart
-
A Survey of Software Requirements Specification Practices in the New Zealand Software Industry
- … Lindsay Groves, Ray Nickson School of Mathematical and Computing Sciences, Victoria University…
- Cited by 1 (0 self) – Add To MetaCart
-
DCAS is not a silver bullet for nonblocking algorithm design
- … † Lindsay Groves ‡ Christine H. Flood † Victor Luchangco † Paul A. Martin † Mark Moir † Nir Shavit † Guy L…
- Cited by 10 (0 self) – Add To MetaCart
Showing 1 through 9.
