publications:
- title: "Constructing Programs or Processes"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2005"
  doi: "http://www.jucs.org/jucs_11_12/constructing_programs_or_processes"
  links:
    doi: "http://www.jucs.org/jucs_11_12/constructing_programs_or_processes"
  researchr: "https://researchr.org/publication/ReevesS05"
  cites: 0
  citedby: 0
  journal: "J. UCS"
  volume: "11"
  number: "12"
  pages: "2034-2045"
  kind: "article"
  key: "ReevesS05"
- title: "General Refinement, Part One: Interfaces, Determinism and Special Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.013"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS08a"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "214"
  pages: "277-307"
  kind: "article"
  key: "ReevesS08a"
- title: "Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts"
  author:
  - name: "Robi Malik"
    link: "https://researchr.org/alias/robi-malik"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3299&spage=120"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3299&spage=120"
  tags:
  - "process algebra"
  - "testing"
  - " algebra"
  researchr: "https://researchr.org/publication/MalikSR04"
  cites: 0
  citedby: 0
  pages: "120-134"
  booktitle: "Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings"
  editor:
  - name: "Farn Wang"
    link: "https://researchr.org/alias/farn-wang"
  volume: "3299"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23610-4"
  kind: "inproceedings"
  key: "MalikSR04"
- title: "Comparison of Data and Process Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=266"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=266"
  tags:
  - "refinement"
  - "data-flow"
  researchr: "https://researchr.org/publication/ReevesS03"
  cites: 0
  citedby: 0
  pages: "266-285"
  booktitle: "Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings"
  editor:
  - name: "Jin Song Dong"
    link: "https://researchr.org/alias/jin-song-dong"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "2885"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20461-X"
  kind: "inproceedings"
  key: "ReevesS03"
- title: "Refinement for user interface designs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s00165-008-0095-2"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-008-0095-2"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BowenR09-0"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "21"
  number: "6"
  pages: "589-612"
  kind: "article"
  key: "BowenR09-0"
- title: "Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)"
  author:
  - name: "Robert Johnson"
    link: "https://researchr.org/alias/robert-johnson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1992"
  researchr: "https://researchr.org/publication/JohnsonR92"
  cites: 0
  citedby: 0
  pages: "37-39"
  booktitle: "TABLEAUX"
  kind: "inproceedings"
  key: "JohnsonR92"
- title: "Investigating Z"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HensonR00%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "10"
  number: "1"
  pages: "43-73"
  kind: "article"
  key: "HensonR00:0"
- title: "Specifying and Reasoning About CSCW"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1996"
  researchr: "https://researchr.org/publication/Reeves96"
  cites: 0
  citedby: 0
  pages: "366-391"
  booktitle: "Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium"
  editor:
  - name: "François Bodart"
    link: "https://researchr.org/alias/fran%C3%A7ois-bodart"
  - name: "Jean Vanderdonckt"
    link: "https://researchr.org/alias/jean-vanderdonckt"
  publisher: "Springer"
  isbn: "3-211-82900-8"
  kind: "inproceedings"
  key: "Reeves96"
- title: "Modular Synthesis of Discrete Controllers"
  author:
  - name: "Petra Malik"
    link: "https://researchr.org/alias/petra-malik"
  - name: "Robi Malik"
    link: "https://researchr.org/alias/robi-malik"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.31"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.31"
  researchr: "https://researchr.org/publication/MalikMSR07"
  cites: 0
  citedby: 0
  pages: "25-34"
  booktitle: "12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2895-3"
  kind: "inproceedings"
  key: "MalikMSR07"
- title: "Developing usability studies via formal models of UIs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1822018.1822044"
  links:
    doi: "http://doi.acm.org/10.1145/1822018.1822044"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eics/BowenR10"
  researchr: "https://researchr.org/publication/BowenR10"
  cites: 0
  citedby: 0
  pages: "175-180"
  booktitle: "Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System , EICS 2010, Berlin, Germany, June 19-23, 2010"
  editor:
  - name: "Noi Sukaviriya"
    link: "https://researchr.org/alias/noi-sukaviriya"
  - name: "Jean Vanderdonckt"
    link: "https://researchr.org/alias/jean-vanderdonckt"
  - name: "Michael Harrison"
    link: "https://researchr.org/alias/michael-harrison"
  publisher: "ACM"
  isbn: "978-1-4503-0083-4"
  kind: "inproceedings"
  key: "BowenR10"
- title: "Refinement for User Interface Designs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.104"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.104"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BowenR08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "208"
  pages: "5-22"
  kind: "article"
  key: "BowenR08"
- title: "Editorial"
  author:
  - name: "Krysia Broda"
    link: "https://researchr.org/alias/krysia-broda"
  - name: "Marcello D Agostino"
    link: "https://researchr.org/alias/marcello-d-agostino"
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Rob Johnson"
    link: "https://researchr.org/alias/rob-johnson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1995"
  doi: "http://dx.doi.org/10.1093/jigpal/3.6.826"
  links:
    doi: "http://dx.doi.org/10.1093/jigpal/3.6.826"
  researchr: "https://researchr.org/publication/BrodaDGJR95"
  cites: 0
  citedby: 0
  journal: "Logic Journal of the IGPL"
  volume: "3"
  number: "6"
  pages: "826"
  kind: "article"
  key: "BrodaDGJR95"
- title: "µ-Chart-Based Specification and Refinement"
  author:
  - name: "Doug Goldson"
    link: "https://researchr.org/alias/doug-goldson"
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2495/24950323.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2495/24950323.htm"
  tags:
  - "rule-based"
  - "refinement"
  researchr: "https://researchr.org/publication/GoldsonRR02"
  cites: 0
  citedby: 0
  pages: "323-334"
  booktitle: "Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings"
  editor:
  - name: "Chris George"
    link: "https://researchr.org/alias/chris-george"
  - name: "Huaikou Miao"
    link: "https://researchr.org/alias/huaikou-miao"
  volume: "2495"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00029-1"
  kind: "inproceedings"
  key: "GoldsonRR02"
- title: "Generic Tools via General Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.093"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.093"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "207"
  pages: "187-202"
  kind: "article"
  key: "ReevesS08"
- title: "Operation Refinement and Monotonicity in the Schema Calculus"
  author:
  - name: "Moshe Deutsch"
    link: "https://researchr.org/alias/moshe-deutsch"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510103.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510103.htm"
  tags:
  - "XML"
  - "XML Schema"
  - "refinement"
  - "C++"
  researchr: "https://researchr.org/publication/DeutschHR03"
  cites: 0
  citedby: 0
  pages: "103-126"
  booktitle: "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Marina A. Waldén"
    link: "https://researchr.org/alias/marina-a.-wald%C3%A9n"
  volume: "2651"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40253-5"
  kind: "inproceedings"
  key: "DeutschHR03"
- title: "Formal Refinement of Informal GUI Design Artefacts"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.28"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.28"
  tags:
  - "refinement"
  - "design"
  researchr: "https://researchr.org/publication/BowenR06"
  cites: 0
  citedby: 0
  pages: "221-230"
  booktitle: "17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2551-2"
  kind: "inproceedings"
  key: "BowenR06"
- title: "Teaching formal methods lite via testing"
  author:
  - name: "Mark Utting"
    link: "https://researchr.org/alias/mark-utting"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2001"
  tags:
  - "testing"
  - "teaching"
  researchr: "https://researchr.org/publication/UttingR01"
  cites: 0
  citedby: 0
  journal: "Softw. Test., Verif. Reliab."
  volume: "11"
  number: "3"
  pages: "181-195"
  kind: "article"
  key: "UttingR01"
- title: "Preface"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.013"
  researchr: "https://researchr.org/publication/BoitenDR09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "259"
  pages: "1"
  kind: "article"
  key: "BoitenDR09"
- title: "Behavioral modeling for mobile agent systems using Petri nets"
  author:
  - name: "Ali A. Pouyan"
    link: "https://researchr.org/alias/ali-a.-pouyan"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2004"
  doi: "http://dx.doi.org/10.1109/ICSMC.2004.1401313"
  links:
    doi: "http://dx.doi.org/10.1109/ICSMC.2004.1401313"
  tags:
  - "modeling"
  - "mobile"
  researchr: "https://researchr.org/publication/PouyanR04"
  cites: 0
  citedby: 0
  pages: "4935-4940"
  booktitle: "Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004"
  publisher: "IEEE"
  isbn: "0-7803-8566-7"
  kind: "inproceedings"
  key: "PouyanR04"
- title: "A Logic for the Schema Calculus"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1998"
  tags:
  - "XML"
  - "XML Schema"
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonR98"
  cites: 0
  citedby: 0
  pages: "172-191"
  booktitle: "ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Andreas Fett"
    link: "https://researchr.org/alias/andreas-fett"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65070-9"
  kind: "inproceedings"
  key: "HensonR98"
- title: "Guarded Operations, Refinement and Simulation"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.024"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.024"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "259"
  pages: "177-191"
  kind: "article"
  key: "ReevesS09"
- title: "Using formal models to design user interfaces: a case study"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1531294.1531316"
  links:
    doi: "http://doi.acm.org/10.1145/1531294.1531316"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/bcshci/BowenR07"
  tags:
  - "case study"
  - "design"
  researchr: "https://researchr.org/publication/BowenR07-0"
  cites: 0
  citedby: 0
  pages: "159-166"
  booktitle: "Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 1, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007"
  editor:
  - name: "Thomas C. Ormerod"
    link: "https://researchr.org/alias/thomas-c.-ormerod"
  - name: "Corina Sas"
    link: "https://researchr.org/alias/corina-sas"
  publisher: "BCS"
  isbn: "978-1-902505-94-7"
  kind: "inproceedings"
  key: "BowenR07-0"
- title: "Formal Models for Informal GUI Designs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.061"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.061"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BowenR07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "183"
  pages: "57-72"
  kind: "article"
  key: "BowenR07"
- title: "Z Logic and its Consequences"
  author:
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2003"
  tags:
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonRB03"
  cites: 0
  citedby: 0
  journal: "Computers and Artificial Intelligence"
  volume: "22"
  number: "4"
  pages: "381-415"
  kind: "article"
  key: "HensonRB03"
- title: "Atomic Components"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=128"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=128"
  researchr: "https://researchr.org/publication/ReevesS04"
  cites: 0
  citedby: 0
  pages: "128-139"
  booktitle: "Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers"
  editor:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  volume: "3407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25304-1"
  kind: "inproceedings"
  key: "ReevesS04"
- title: "Stepwise Refinement of Processes"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.028"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.028"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "160"
  pages: "275-289"
  kind: "article"
  key: "ReevesS06"
- title: "Feature Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.14"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.14"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS07"
  cites: 0
  citedby: 0
  pages: "371-380"
  booktitle: "Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2884-7"
  kind: "inproceedings"
  key: "ReevesS07"
- title: "Conflicts and Fair Testing"
  author:
  - name: "Robi Malik"
    link: "https://researchr.org/alias/robi-malik"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2006"
  doi: "http://dx.doi.org/10.1142/S012905410600411X"
  links:
    doi: "http://dx.doi.org/10.1142/S012905410600411X"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/MalikSR06"
  cites: 0
  citedby: 0
  journal: "Int. J. Found. Comput. Sci."
  volume: "17"
  number: "4"
  pages: "797-814"
  kind: "article"
  key: "MalikSR06"
- title: "UI-Design Driven Model-Based Testing"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/314"
  links:
    doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/314"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/BowenR09"
  tags:
  - "rule-based"
  - "testing"
  - "design"
  researchr: "https://researchr.org/publication/BowenR09-1"
  cites: 0
  citedby: 0
  journal: "ECEASST"
  volume: "22"
  kind: "article"
  key: "BowenR09-1"
- title: "A Survey of Software Development Practices in the New Zealand Software Industry "
  author:
  - name: "Lindsay Groves"
    link: "https://researchr.org/alias/lindsay-groves"
  - name: "Ray Nickson"
    link: "https://researchr.org/alias/ray-nickson"
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Mark Utting"
    link: "https://researchr.org/alias/mark-utting"
  year: "2000"
  doi: "http://csdl.computer.org/comp/proceedings/aswec/2000/0631/00/06310189abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/aswec/2000/0631/00/06310189abs.htm"
  tags:
  - "survey"
  researchr: "https://researchr.org/publication/GrovesNRRU00"
  cites: 0
  citedby: 0
  pages: "189-202"
  booktitle: "12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0631-3"
  kind: "inproceedings"
  key: "GrovesNRRU00"
- title: "Idioms for mu-Chart"
  author:
  - name: "Grant Anderson"
    link: "https://researchr.org/alias/grant-anderson"
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540224abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540224abs.htm"
  researchr: "https://researchr.org/publication/AndersonRR01"
  cites: 0
  citedby: 0
  pages: "224-234"
  booktitle: "13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1254-2"
  kind: "inproceedings"
  key: "AndersonRR01"
- title: "Revising Z: Part I - Logic and Semantics"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110359.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110359.htm"
  tags:
  - "semantics"
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonR99"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "11"
  number: "4"
  pages: "359-380"
  kind: "article"
  key: "HensonR99"
- title: "Supporting Multi-path UI Development with Vertical Refinement"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ASWEC.2009.24"
  links:
    doi: "http://dx.doi.org/10.1109/ASWEC.2009.24"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BowenR09"
  cites: 0
  citedby: 0
  pages: "64-72"
  booktitle: "20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Golad Cost, Australia"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3599-9"
  kind: "inproceedings"
  key: "BowenR09"
- title: "Formal models for user interface design artefacts"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s11334-008-0049-0"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-008-0049-0"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BowenR08-0"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "4"
  number: "2"
  pages: "125-141"
  kind: "article"
  key: "BowenR08-0"
- title: "Data refinement and singleton failures refinement are not equivalent"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s00165-008-0076-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-008-0076-5"
  tags:
  - "refinement"
  - "data-flow"
  researchr: "https://researchr.org/publication/ReevesS08%3A0"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "20"
  number: "3"
  pages: "295-301"
  kind: "article"
  key: "ReevesS08:0"
- title: "A Logic for Schema-Based Program Development"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s00165-003-0004-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-003-0004-7"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "C++"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HensonR03"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "15"
  number: "1"
  pages: "48-83"
  kind: "article"
  key: "HensonR03"
- title: "mu-Charts and Z: Hows, Whys, and Wherefores"
  author:
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450255.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450255.htm"
  researchr: "https://researchr.org/publication/ReeveR00%3A0"
  cites: 0
  citedby: 0
  pages: "255-276"
  booktitle: "Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings"
  editor:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Thomas Santen"
    link: "https://researchr.org/alias/thomas-santen"
  - name: "Bill Stoddart"
    link: "https://researchr.org/alias/bill-stoddart"
  volume: "1945"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41196-8"
  kind: "inproceedings"
  key: "ReeveR00:0"
- title: "Including Design Guidelines in the Formal Specification of Interfaces in Z"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11415787_26"
  links:
    doi: "http://dx.doi.org/10.1007/11415787_26"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BowenR05"
  cites: 0
  citedby: 0
  pages: "454-471"
  booktitle: "ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings"
  editor:
  - name: "Helen Treharne"
    link: "https://researchr.org/alias/helen-treharne"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve A. Schneider"
    link: "https://researchr.org/alias/steve-a.-schneider"
  volume: "3455"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25559-1"
  kind: "inproceedings"
  key: "BowenR05"
- title: "Logic and refinement for charts"
  author:
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1151699.1151701"
  links:
    doi: "http://doi.acm.org/10.1145/1151699.1151701"
  tags:
  - "refinement"
  - "logic"
  researchr: "https://researchr.org/publication/ReeveR06"
  cites: 0
  citedby: 0
  pages: "13-23"
  booktitle: "Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006"
  editor:
  - name: "Vladimir Estivill-Castro"
    link: "https://researchr.org/alias/vladimir-estivill-castro"
  - name: "Gillian Dobbie"
    link: "https://researchr.org/alias/gillian-dobbie"
  volume: "48"
  series: "CRPIT"
  publisher: "Australian Computer Society"
  isbn: "1-920682-30-9"
  kind: "inproceedings"
  key: "ReeveR06"
- title: "Results on Formal Stepwise Design in Z"
  author:
  - name: "Moshe Deutsch"
    link: "https://researchr.org/alias/moshe-deutsch"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2002/1850/00/18500033abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2002/1850/00/18500033abs.htm"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/DeutschHR02"
  cites: 0
  citedby: 0
  pages: "33-42"
  booktitle: "9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1850-8"
  kind: "inproceedings"
  key: "DeutschHR02"
- title: "Revising Z: Part II - Logical Development"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110381.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110381.htm"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HensonR99a"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "11"
  number: "4"
  pages: "381-401"
  kind: "article"
  key: "HensonR99a"
- title: "General Refinement, Part Two: Flexible Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.014"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS08b"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "214"
  pages: "309-329"
  kind: "article"
  key: "ReevesS08b"
- title: "A Review of Several Programs for the Teaching of Logic"
  author:
  - name: "Doug Goldson"
    link: "https://researchr.org/alias/doug-goldson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Richard Bornat"
    link: "https://researchr.org/alias/richard-bornat"
  year: "1993"
  tags:
  - "logic programming"
  - "reviewing"
  - "teaching"
  - "logic"
  researchr: "https://researchr.org/publication/GoldsonRB93"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "36"
  number: "4"
  pages: "373-386"
  kind: "article"
  key: "GoldsonRB93"
- title: "A Robust Semantics Hides Fewer Errors"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_32"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_32"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/ReevesS09-0"
  cites: 0
  citedby: 0
  pages: "499-515"
  booktitle: "FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings"
  editor:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Dennis Dams"
    link: "https://researchr.org/alias/dennis-dams"
  volume: "5850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-05088-6"
  kind: "inproceedings"
  key: "ReevesS09-0"
- title: "mu-Charts and Z: examples and extensions"
  author:
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150258abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150258abs.htm"
  researchr: "https://researchr.org/publication/ReeveR00"
  cites: 0
  citedby: 0
  pages: "258"
  booktitle: "7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0915-0"
  kind: "inproceedings"
  key: "ReeveR00"
- title: "An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I"
  author:
  - name: "Moshe Deutsch"
    link: "https://researchr.org/alias/moshe-deutsch"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2003"
  doi: "http://www3.oup.co.uk/igpl/Volume_11/Issue_03/#DeutschI"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_11/Issue_03/#DeutschI"
  tags:
  - "semantics"
  - "refinement"
  - "analysis"
  - "C++"
  researchr: "https://researchr.org/publication/DeutschHR03%3A0"
  cites: 0
  citedby: 0
  journal: "Logic Journal of the IGPL"
  volume: "11"
  number: "3"
  pages: "287-317"
  kind: "article"
  key: "DeutschHR03:0"
- title: "Program Development and Specification Refinement in the Schema Calculus"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780344.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780344.htm"
  tags:
  - "XML"
  - "XML Schema"
  - "refinement"
  - "C++"
  researchr: "https://researchr.org/publication/HensonR00"
  cites: 0
  citedby: 0
  pages: "344-362"
  booktitle: "ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve Dunne"
    link: "https://researchr.org/alias/steve-dunne"
  - name: "Andy Galloway"
    link: "https://researchr.org/alias/andy-galloway"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  volume: "1878"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67944-8"
  kind: "inproceedings"
  key: "HensonR00"
- title: "Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11811-1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11811-1"
  tags:
  - "state machines"
  - "abstract machine"
  researchr: "https://researchr.org/publication/asm-2010"
  cites: 0
  citedby: 0
  booktitle: "Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings"
  conference: "asm"
  editor:
  - name: "Marc Frappier"
    link: "https://researchr.org/alias/marc-frappier"
  - name: "Uwe Glässer"
    link: "https://researchr.org/alias/uwe-gl%C3%A3%C2%A4sser"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A3%C2%A9gine-laleau"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  volume: "5977"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11810-4"
  kind: "proceedings"
  key: "asm-2010"