|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 3 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rick Mugridge, Mark Utting, David Streader |
EvolvingWeb-Based Test Automation into Agile Business Specifications.  |
Future Internet  |
2011 |
DBLP DOI 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 | Annika Hinze, Michael Rinck, David Streader |
Anonymous Mobile Service Collaboration: Quality of Service. |
From Active Data Management to Event-Based Systems and More |
2010 |
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 | 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 | 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 | Steve Reeves, David Streader |
Feature Refinement. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Steve Reeves, David Streader |
Constructing Programs or Processes. |
J. UCS |
2005 |
DBLP 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 | 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 |
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")