| 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 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Selected papers of the Refinement Workshop Turku (2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten |
Perspicuity and Granularity in Refinement |
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 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Timed Refinement. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith |
Editorial. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Incompleteness of relational simulations in the blocking paradigm. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Dan Grundy |
The Logic of Large Enough. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Relational concurrent refinement part II: Internal operations and outputs. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs |
| 1 | Eerke A. Boiten |
Editorial. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Automata. |
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 | Eerke A. Boiten, John Derrick |
Modelling Divergence in Relational Concurrent Refinement. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement |
| 1 | John Derrick, Eerke A. Boiten |
More Relational Concurrent Refinement: Traces and Partial Relations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Dan Grundy |
Reduction and Refinement. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten |
From ABZ to Cryptography. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement with Internal Operations. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Michael Butler |
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith |
Guest Editorial Integrated Formal Methods. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Formal Program Development with Approximations. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Bernhard Möller |
Foreword. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, viewpoints, LOTOS, category theory, partial specification |
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith (eds.) |
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings |
IFM |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness |
| 1 | Eerke A. Boiten |
"Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Recent Advances in Refinement. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Combining Component Specifications in Object-Z and CSP. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z |
| 1 | John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Unifying concurrent and relational refinement. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Taylor, Eerke A. Boiten, John Derrick |
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. |
IEE Proceedings - Software |
2002 |
DBLP BibTeX RDF |
|
| 1 | Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick |
A Formal Framework for Viewpoint Consistency. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Taylor, Eerke A. Boiten, John Derrick |
Interpreting ODP Viewpoint Specification: Observations from a Case Study. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ralph Miarka, John Derrick, Eerke A. Boiten |
Handling Inconsistencies in Z Using Quasi-Classical Logic. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten |
Loose Specification and Refinement in Z. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
model containment, states-and-operations, loose specification, semantics, refinement, Z |
| 1 | Eerke A. Boiten, Bernhard Möller (eds.) |
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings |
MPC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen |
Viewpoint consistency in ODP. |
Computer Networks |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Refinement of objects and operations in Object-Z. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Chris J. Taylor, John Derrick, Eerke A. Boiten |
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Miarka, Eerke A. Boiten, John Derrick |
Guards, Preconditions, and Refinement in Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Liberating Data Refinement. |
MPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen |
Strategies for Consistency Checking Based on Unification. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
Constructive Consistency Checking for Partial Specification in Z. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Testing Refinements of State-based Formal Specifications. |
Softw. Test., Verif. Reliab. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Calculating upward and downward simulations of state-based specifications. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Specifying Component and Context Specification Using Promotion. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Non-atomic Refinement in Z. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen |
Specifying and Refining Internal Operations in Z. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman |
Consistency of Partial Process Specifications. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Testing Refinements by Refining Tests. |
ZUM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
Disjunction of LOTOS Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen |
Weak Refinement in Z. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen |
Viewpoint Consistency in Z and LOTOS: A Case Study. |
FME |
1997 |
DBLP DOI BibTeX RDF |
Consistency, Z, Viewpoints, LOTOS, ODP |
| 1 | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |
Comparing LOTOS and Z Refinement Relations. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
Consistency and Refinement for Partial Specification in Z. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude |
Fixed-Point Calculus. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten |
Parsing in ISBES. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
substructures, Cocke-Kasami-Younger, formal specification, parsing, bags, transformational programming |
| 1 | Eerke A. Boiten |
Improving Recursive Functions by Inverting the Order of Evaluation. |
Sci. Comput. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker |
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. |
Comput. J. |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")