Browse by Person (creator, editor, contributor, etc.)
Number of items: 115. 2014
Boiten, Eerke and Jacob, Jeremy
(2014)
Sealed containers in Z.
In: ABZ 2014, June 26, 2014, Toulouse.
(In press)
(Full text available)

Preview 

2013
2012
Boiten, Eerke and Derrick, John and Dong, Jin Song and Reeves, Steve
(2012)
Editorial: Special issue on Refine 2009.
Formal Aspects of Computing, 24
(1).
pp. 182196.
ISSN 09345043.
(The full text of this publication is not available from this repository)


2011
Derrick, John and Boiten, Eerke and Reeves, Steve, eds.
(2011)
Proceedings 15th International Refinement Workshop.
Electronic Proceedings in Theoretical Computer Science, 55
.
EPTCS
ISBN 20752180.
(The full text of this publication is not available from this repository)


2010
Boiten, Eerke and Grundy, Dan
(2010)
The Logic of Large Enough.
In: MPC 2010: Mathematics of Program Construction.
(Full text available)

Preview 

Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme
(2010)
Editorial: Special issue on REFINE 2007.
Formal Aspects of Computing, 22
(1).
pp. 182196.
ISSN 09345043.
(The full text of this publication is not available from this repository)


2009
Derrick, John and Boiten, Eerke
(2009)
Relational Concurrent Refinement: Automata.
Electronic Notes in Theoretical Computer Science, 259
.
pp. 182196.
ISSN 15710661.
(The full text of this publication is not available from this repository)


Aichernig, Bernhard K. and Boiten, Eerke and Butler, Michael and Derrick, John and Groves, Lindsay
(2009)
Preface: Special Issue on REFINE 2006.
Formal Aspects of Computing, 21
(12).
ISSN 09345043.
(The full text of this publication is not available from this repository)


2008
Boiten, Eerke and Derrick, John and Schellhorn, Gerhard
(2008)
Preface: REFINE 2008 Proceedings.
Electronic Notes in Theoretical Computer Science, 214
.
ISSN 15710661.
(The full text of this publication is not available from this repository)


Boiten, Eerke and Grundy, Dan
(2008)
Reduction and refinement.
Electronic Notes in Theoretical Computer Science, 201C
.
pp. 3144.
ISSN 15710661.
(The full text of this publication is not available from this repository)


2007
Boiten, Eerke and Derrick, John and Smith, Graeme
(2007)
Refine 2007 Participants' Proceedings.
Technical report.
University of Kent, Canterbury, Canterbury, Kent
(The full text of this publication is not available from this repository)


2006
2005
Boiten, Eerke and Derrick, John
(2005)
Proceedings of the REFINE 2005 Workshop.
Electronic Notes in Theoretical Computer Science , 137
(2).
pp. 1242.
ISSN 15710661.
(The full text of this publication is not available from this repository)


2004
Bujorianu, Marius C. and Boiten, Eerke
(2004)
Towards Correspondence Carrying Specifications.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Algebraic Methodology and Software Technology.
LNCS, 3116.
Springer
pp. 5771.
ISBN 3540223819 .
(The full text of this publication is not available from this repository)


Boiten, Eerke and Möller, Bernhard
(2004)
Special Issue on MPC 2002: Foreword.
Science of Computer Programming, 51
(12).
pp. 12.
ISSN 01676423.
(The full text of this publication is not available from this repository)


UNSPECIFIED
(2004)
Integrated Formal Methods, 4th International Conference.
In: Boiten, Eerke and Derrick, John and Smith, Graeme, eds.
Integrated Formal Methods.
Lecture Notes in Computer Science, 2999.
SpringerVerlag
ISBN 3540213775.
(The full text of this publication is not available from this repository)


Bujorianu, Marius C.
(2004)
Integration of Specification Languages Using Viewpoints.
In: Boiten, Eerke and Derrick, John and Smith, Graeme, eds.
Integrated Formal Methods.
Springer
pp. 421440.
ISBN 3540213775.
(The full text of this publication is not available from this repository)


2003
Boiten, Eerke and Denvir, T. and Derrick, John and von Wright, Joakim
(2003)
Editorial: Special Issue on Refinement.
Formal Aspects of Computing, 15
(2).
pp. 101102.
ISSN 09345043.
(The full text of this publication is not available from this repository)


Derrick, John and Boiten, Eerke
(2003)
Relational Concurrent Refinement.
Formal Aspects of Computing, 15
(23).
pp. 182214.
ISSN 09345043.
(The full text of this publication is not available from this repository)


Boiten, Eerke and Bujorianu, Marius C.
(2003)
Exploring UML Refinement through Unification.
In: Jurjens, J. and Rumpe, Bernhard and France, Robert and Fernandez, E.B., eds.
Critical Systems Development with UML  Proceedings of the UML'03 workshop.
Lecture Notes in Computer Science (TUMI0323).
Technische Universitat Munchen
pp. 4762.
(The full text of this publication is not available from this repository)


Derrick, John and Boiten, Eerke
(2003)
Recent advances in refinement.
In: 10th International Workshop on Abstract State Machines, MAR 0307, 2003, TAORMINA, ITALY.
(The full text of this publication is not available from this repository)


2002
Boiten, Eerke and Derrick, John
(2002)
Unifying concurrent and relational refinement.
Electronic Notes in Theoretical Computer Science, 70
(3).
pp. 94131.
ISSN 15710661.
(The full text of this publication is not available from this repository)


Derrick, John and Akehurst, David H. and Boiten, Eerke
(2002)
A framework for UML consistency.
In: Workshop on Consistency Problems in UMLbased Software Development, October 1st, 2002 , Dresden, Germany.
(Full text available)

Preview 

Bowman, Howard and Steen, Maarten and Boiten, Eerke and Derrick, John
(2002)
A Formal Framework for Viewpoint Consistency.
Formal Methods in System Design, 21
(2).
pp. 111166.
ISSN 09259856.
(The full text of this publication is not available from this repository)


Boiten, Eerke
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
In: Derrick, John and Boiten, Eerke and Woodcock, Jim and von Wright, Joakim, eds.
REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002).
Electronic Notes in Theoretical Computer Science, 70.
Elsevier Science Publishers
(The full text of this publication is not available from this repository)


Boiten, Eerke and Derrick, John
(2002)
Integration of Specifications through Development Relations.
In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 2328th June 2002, Passadena, California.
(The full text of this publication is not available from this repository)


Miarka, Ralph and Derrick, John and Boiten, Eerke
(2002)
Handling Inconsistencies in Z using QuasiClassical Logic.
In: Berto, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B.
Lecture Notes in Computer Science, 2272.
SpringerVerlag Berlin Heidelberg, Grenoble, France
pp. 204225.
ISBN 3540431667.
(The full text of this publication is not available from this repository)


Boiten, Eerke
(2002)
Loose Specification and Refinement in Z.
In: Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B.
Lecture Notes in Computer Science, 2272.
Springer, Grenoble, France
pp. 226241.
ISBN 3540431667.
(The full text of this publication is not available from this repository)


2001
2000
Derrick, John and Boiten, Eerke
(2000)
Refinement of objects and operations in ObjectZ.
In: Smith, Scott F. and Talcott, Carolyn L., eds.
Fourth International Conference on Formal methods for open objectbased distributed systems IV.
Kluwer Academic Publishers
pp. 257277.
ISBN 0792379233 .
(Full text available)

Preview 

Miarka, Ralph and Boiten, Eerke and Derrick, John
(2000)
Guards, Preconditions, and Refinement in Z.
In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users.
(The full text of this publication is not available from this repository)


Boiten, Eerke and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten
(2000)
Viewpoint Consistency in ODP.
Computer Networks, 34
(3).
pp. 503537.
ISSN 13891286 .
(The full text of this publication is not available from this repository)


Boiten, Eerke and Derrick, John
(2000)
Liberating data refinement.
In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds.
Proceedings of the 5th International Conference on Mathematics of Program Construction.
Lecture Notes in Computer Science, 1837.
Springer
pp. 144166.
ISBN 3540677275.
(The full text of this publication is not available from this repository)


1999
Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard
(1999)
Consistency of partial process specifications.
In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 0408, 1999, Amazonia, Brazil.
(Full text available)


Derrick, John and Boiten, Eerke
(1999)
Nonatomic refinement in Z.
In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds.
FM’99 — Formal Methods.
Lecture Notes In Computer Science, 1709 .
SpringerVerlag Berlin, Berlin, Germany
pp. 14771496.
ISBN 9783540665885.
(The full text of this publication is not available from this repository)


1998
Boiten, Eerke and Derrick, John
(1998)
Grey Box Data Refinement.
In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.
(Full text available)

Preview 

Boiten, Eerke and Derrick, John
(1998)
IO  refinement in Z.
In: Evans, Andy and Duke, David J. and Clark, Tony, eds.
3rd Northern Formal MethodsWorkshop, 1998.
Electronic Workshops in Computing.
Springer Verlag
ISBN 190250514X.
(Full text available)

Preview 

Derrick, John and Boiten, Eerke
(1998)
Testing refinements by refining tests.
In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 2426, 1998, Berlin, Germany.
(Full text available)


1997
Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke
(1997)
Disjunction of LOTOS specifications.
In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds.
IFIP Conference Proceedings; Vol. 107.
Chapman & Hall, Osaka, Japan
pp. 177192.
ISBN 0412820609 .
(Full text available)

Preview 

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten
(1997)
Translating LOTOS to ObjectZ.
In: 2nd BCSFACS Northern Formal Methods Workshop : Proceedings of the 2nd BCSFACS Northern Formal Methods Workshop, 1415 July, 1997, Ilkley, U. K..
(The full text of this publication is not available from this repository)


Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten
(1997)
Weak refinement in Z.
In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds.
ZUM '97: The Z Formal Specification Notation.
Lecture Notes in Computer Science, 1212.
SpringerVerlag, Reading
pp. 369388.
ISBN 3540627170.
(Full text available)


1996
Boiten, Eerke and Hoogendijk, P.F.
(1996)
Nested collections and polytypism.
Technical report.
Department of Computing Science, Eindhoven University
(Full text available)


1995
Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten
(1995)
Strategies for Consistency Checking.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(Full text available)


1993
Boiten, Eerke
(1993)
Parsing in ISBES.
In: UNSPECIFIED.
(The full text of this publication is not available from this repository)


1992
Boiten, Eerke
(1992)
Views of Formal Program Development.
Doctor of Philosophy (PhD) thesis, University of Nijmegen, Faculty of Mathematics and Informatics.
(The full text of this publication is not available from this repository)


1991
1990
1989
1988
Boiten, Eerke
(1988)
Een Syntax Assisted Editor.
Other masters thesis, Universiteit Twente.
(The full text of this publication is not available from this repository)


1986
This list was generated on Sun Sep 21 19:13:17 2014 BST.
