Browsing by Author "Groves, Lindsay"
Now showing items 1-3 of 3
-
Shape predicates allow unbounded verification of linearizability using canonical abstraction
Friggens, David; Groves, Lindsay (Australian Computer Society Inc, 2014)Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity ... -
A survey of software development practices in the New Zealand software industry
Groves, Lindsay; Nickson, Ray; Reeve, Greg; Reeves, Steve; Utting, Mark (IEEE Computer Society, 2000-04)We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of software companies with a general questionnaire ... -
A survey of software requirements specification practices in the New Zealand software industry
Groves, Lindsay; Nickson, Ray; Reeve, Greg; Reeves, Steve; Utting, Mark (Computer Science, University of Waikato, 1999-06)We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of software companies with a general questionnaire ...
Co-authors for Lindsay Groves
Lindsay Groves has 5 co-authors in Research Commons.