The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Steve Reeves: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Greg Reeve, Steve Reeves
    Logic and refinement for charts. [Citation Graph (0, 0)][DBLP]
    ACSC, 2006, pp:13-23 [Conf]
  2. Moshe Deutsch, Martin C. Henson, Steve Reeves
    Results on Formal Stepwise Design in Z. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:33-42 [Conf]
  3. Greg Reeve, Steve Reeves
    mu-Charts and Z: examples and extensions. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:258-0 [Conf]
  4. Grant Anderson, Greg Reeve, Steve Reeves
    Idioms for mu-Chart. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:224-234 [Conf]
  5. Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
    A Survey of Software Development Practices in the New Zealand Software Industry . [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:189-202 [Conf]
  6. Judy Bowen, Steve Reeves
    Formal Refinement of Informal GUI Design Artefacts. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:221-230 [Conf]
  7. Robi Malik, David Streader, Steve Reeves
    Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:120-134 [Conf]
  8. Steve Reeves
    Specifying and Reasoning About CSCW. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:366-391 [Conf]
  9. Doug Goldson, Greg Reeve, Steve Reeves
    µ-Chart-Based Specification and Refinement. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:323-334 [Conf]
  10. Steve Reeves, David Streader
    Comparison of Data and Process Refinement. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:266-285 [Conf]
  11. Steve Reeves, David Streader
    Atomic Components. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:128-139 [Conf]
  12. Greg Reeve, Steve Reeves
    mu-Charts and Z: Hows, Whys, and Wherefores. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:255-276 [Conf]
  13. Ali A. Pouyan, Steve Reeves
    Behavioral modeling for mobile agent systems using Petri nets. [Citation Graph (0, 0)][DBLP]
    SMC (5), 2004, pp:4935-4940 [Conf]
  14. Robert Johnson, Steve Reeves
    Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:37-39 [Conf]
  15. Moshe Deutsch, Martin C. Henson, Steve Reeves
    Operation Refinement and Monotonicity in the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:103-126 [Conf]
  16. Judy Bowen, Steve Reeves
    Including Design Guidelines in the Formal Specification of Interfaces in Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:454-471 [Conf]
  17. Martin C. Henson, Steve Reeves
    Program Development and Specification Refinement in the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:344-362 [Conf]
  18. Martin C. Henson, Steve Reeves
    A Logic for the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:172-191 [Conf]
  19. Martin C. Henson, Steve Reeves, Jonathan P. Bowen
    Z Logic and its Consequences. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
  20. Doug Goldson, Steve Reeves, Richard Bornat
    A Review of Several Programs for the Teaching of Logic. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:4, pp:373-386 [Journal]
  21. Steve Reeves, David Streader
    Stepwise Refinement of Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:275-289 [Journal]
  22. Martin C. Henson, Steve Reeves
    A Logic for Schema-Based Program Development. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:1, pp:48-83 [Journal]
  23. Martin C. Henson, Steve Reeves
    Revising Z: Part I - Logic and Semantics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:359-380 [Journal]
  24. Martin C. Henson, Steve Reeves
    Revising Z: Part II - Logical Development. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:381-401 [Journal]
  25. Moshe Deutsch, Martin C. Henson, Steve Reeves
    An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:3, pp:287-317 [Journal]
  26. Robi Malik, David Streader, Steve Reeves
    Conflicts and Fair Testing. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:797-814 [Journal]
  27. Steve Reeves, David Streader
    Constructing Programs or Processes. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:12, pp:2034-2045 [Journal]
  28. Martin C. Henson, Steve Reeves
    Investigating Z. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:1, pp:43-73 [Journal]
  29. Mark Utting, Steve Reeves
    Teaching formal methods lite via testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:3, pp:181-195 [Journal]
  30. Petra Malik, Robi Malik, David Streader, Steve Reeves
    Modular Synthesis of Discrete Controllers. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:25-34 [Conf]
  31. Judy Bowen, Steve Reeves
    Formal Models for Informal GUI Designs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:57-72 [Journal]

  32. Supporting Multi-path UI Development with Vertical Refinement. [Citation Graph (, )][DBLP]


  33. Using formal models to design user interfaces: a case study. [Citation Graph (, )][DBLP]


  34. A Robust Semantics Hides Fewer Errors. [Citation Graph (, )][DBLP]


  35. Feature Refinement. [Citation Graph (, )][DBLP]


  36. Developing usability studies via formal models of UIs. [Citation Graph (, )][DBLP]


  37. Generic Tools via General Refinement. [Citation Graph (, )][DBLP]


  38. Refinement for User Interface Designs. [Citation Graph (, )][DBLP]


  39. General Refinement, Part One: Interfaces, Determinism and Special Refinement. [Citation Graph (, )][DBLP]


  40. General Refinement, Part Two: Flexible Refinement. [Citation Graph (, )][DBLP]


  41. Guarded Operations, Refinement and Simulation. [Citation Graph (, )][DBLP]


  42. Preface. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.309secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002