Browsing by Author "Groves, Lindsay"
Now showing items 1-3 of 3
-
Shape predicates allow unbounded verification of linearizability using canonical abstraction
(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
(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
(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 ...
