|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 32 occurrences of 23 keywords
|
|
|
|
|
Results
Found 56 publication records. Showing 56 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves |
Editorial.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Preface for FMIS 2011. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Contexts, refinement and determinism. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Refinement for Probabilistic Systems with Nondeterminism |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Steve Reeves (eds.) |
Proceedings 15th International Refinement Workshop |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
UI-driven test-first development of interactive systems. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Steve Reeves |
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Developing usability studies via formal models of UIs. |
EICS |
2010 |
DBLP DOI BibTeX RDF |
ui models, formal methods, usability studies, software evaluation, ui design |
| 1 | Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.) |
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings |
ABZ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
UI-Design Driven Model-Based Testing. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Refinement for user interface designs. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Guarded Operations, Refinement and Simulation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Steve Reeves |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Supporting Multi-path UI Development with Vertical Refinement. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
A Robust Semantics Hides Fewer Errors. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Data refinement and singleton failures refinement are not equivalent. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Singleton failures refinement, Data refinement |
| 1 | Judy Bowen, Steve Reeves |
Formal models for user interface design artefacts. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
User interfaces, Formal methods, Refinement, User-centred design |
| 1 | Judy Bowen, Steve Reeves |
Refinement for User Interface Designs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
General Refinement, Part One: Interfaces, Determinism and Special Refinement. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Generic Tools via General Refinement. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
General Refinement, Part Two: Flexible Refinement. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Formal Models for Informal GUI Designs. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Feature Refinement. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Using formal models to design user interfaces: a case study. |
BCS HCI |
2007 |
DBLP DOI BibTeX RDF |
formal methods, user-centred design, software design process |
| 1 | Petra Malik, Robi Malik, David Streader, Steve Reeves |
Modular Synthesis of Discrete Controllers. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, David Streader, Steve Reeves |
Conflicts and Fair Testing. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Stepwise Refinement of Processes. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Formal Refinement of Informal GUI Design Artefacts. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Reeve, Steve Reeves |
Logic and refinement for charts. |
ACSC |
2006 |
DBLP DOI BibTeX RDF |
ZC, refinement, logic, statecharts, reactive systems, Z |
| 1 | Steve Reeves, David Streader |
Constructing Programs or Processes. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Judy Bowen, Steve Reeves |
Including Design Guidelines in the Formal Specification of Interfaces in Z. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali A. Pouyan, Steve Reeves |
Behavioral modeling for mobile agent systems using Petri nets. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Atomic Components. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, David Streader, Steve Reeves |
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Steve Reeves |
A Logic for Schema-Based Program Development. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Z, Program development |
| 1 | Martin C. Henson, Steve Reeves, Jonathan P. Bowen |
Z Logic and its Consequences. |
Computers and Artificial Intelligence |
2003 |
DBLP BibTeX RDF |
|
| 1 | Moshe Deutsch, Martin C. Henson, Steve Reeves |
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Comparison of Data and Process Refinement. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
process refinement, sub-typing, Z, labelled transition systems, data refinement |
| 1 | Moshe Deutsch, Martin C. Henson, Steve Reeves |
Operation Refinement and Monotonicity in the Schema Calculus. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Doug Goldson, Greg Reeve, Steve Reeves |
µ-Chart-Based Specification and Refinement. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Deutsch, Martin C. Henson, Steve Reeves |
Results on Formal Stepwise Design in Z. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Utting, Steve Reeves |
Teaching formal methods lite via testing. |
Softw. Test., Verif. Reliab. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Grant Anderson, Greg Reeve, Steve Reeves |
Idioms for mu-Chart. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Steve Reeves |
Investigating Z. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Reeve, Steve Reeves |
mu-Charts and Z: examples and extensions. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language |
| 1 | Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting |
A Survey of Software Development Practices in the New Zealand Software Industry . |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
requirements engineering, survey, industry practice |
| 1 | Greg Reeve, Steve Reeves |
mu-Charts and Z: Hows, Whys, and Wherefores. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Steve Reeves |
Program Development and Specification Refinement in the Schema Calculus. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Steve Reeves |
Revising Z: Part II - Logical Development. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Specification language Z, Logics of specification languages, Semantics of specification languages |
| 1 | Martin C. Henson, Steve Reeves |
Revising Z: Part I - Logic and Semantics. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Specification language Z, Logics of specification languages, semantics of specification languages |
| 1 | Martin C. Henson, Steve Reeves |
A Logic for the Schema Calculus. |
ZUM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Steve Reeves |
Specifying and Reasoning About CSCW. |
DSV-IS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves |
Editorial. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Doug Goldson, Steve Reeves, Richard Bornat |
A Review of Several Programs for the Teaching of Logic. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Johnson, Steve Reeves |
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
| 1 | Steve Reeves, Michael Clarke |
Logic for computer science. |
|
1990 |
RDF |
|
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")