Search the dblp DataBase
Eerke A. Boiten :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marius C. Bujorianu , Eerke A. Boiten Towards Correspondence Carrying Specifications. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:57-71 [Conf ] Maarten Steen , John Derrick , Eerke A. Boiten , Howard Bowman Consistency of Partial Process Specifications. [Citation Graph (0, 0)][DBLP ] AMAST, 1998, pp:248-262 [Conf ] John Derrick , Eerke A. Boiten Recent Advances in Refinement. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2003, pp:33-56 [Conf ] Eerke A. Boiten Parsing in ISBES. [Citation Graph (0, 0)][DBLP ] Formal Methods in Programming and Their Applications, 1993, pp:423-433 [Conf ] Eerke A. Boiten , Howard Bowman , John Derrick , Maarten Steen Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:644-664 [Conf ] Eerke A. Boiten , John Derrick , Howard Bowman , Maarten Steen Consistency and Refinement for Partial Specification in Z. [Citation Graph (0, 0)][DBLP ] FME, 1996, pp:287-306 [Conf ] John Derrick , Eerke A. Boiten Non-atomic Refinement in Z. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1477-1496 [Conf ] John Derrick , Eerke A. Boiten Refinement of objects and operations in Object-Z. [Citation Graph (0, 0)][DBLP ] FMOODS, 2000, pp:257-0 [Conf ] Chris Taylor , Eerke A. Boiten , John Derrick Interpreting ODP Viewpoint Specification: Observations from a Case Study. [Citation Graph (0, 0)][DBLP ] FMOODS, 2002, pp:61-76 [Conf ] John Derrick , Howard Bowman , Eerke A. Boiten , Maarten Steen Comparing LOTOS and Z Refinement Relations. [Citation Graph (0, 0)][DBLP ] FORTE, 1996, pp:501-516 [Conf ] Maarten Steen , Howard Bowman , John Derrick , Eerke A. Boiten Disjunction of LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] FORTE, 1997, pp:177-192 [Conf ] Chris Taylor , John Derrick , Eerke A. Boiten A Case Study in Partial Specification: Consistency and Refinement for Object-Z. [Citation Graph (0, 0)][DBLP ] ICFEM, 2000, pp:177-0 [Conf ] John Derrick , Eerke A. Boiten Specifying Component and Context Specification Using Promotion. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:293-312 [Conf ] Eerke A. Boiten , John Derrick Liberating Data Refinement. [Citation Graph (0, 0)][DBLP ] MPC, 2000, pp:144-166 [Conf ] John Derrick , Eerke A. Boiten Testing Refinements by Refining Tests. [Citation Graph (0, 0)][DBLP ] ZUM, 1998, pp:265-283 [Conf ] John Derrick , Eerke A. Boiten , Howard Bowman , Maarten Steen Weak Refinement in Z. [Citation Graph (0, 0)][DBLP ] ZUM, 1997, pp:369-388 [Conf ] Eerke A. Boiten Loose Specification and Refinement in Z. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:226-241 [Conf ] Eerke A. Boiten , John Derrick Formal Program Development with Approximations. [Citation Graph (0, 0)][DBLP ] ZB, 2005, pp:374-392 [Conf ] Ralph Miarka , Eerke A. Boiten , John Derrick Guards, Preconditions, and Refinement in Z. [Citation Graph (0, 0)][DBLP ] ZB, 2000, pp:286-303 [Conf ] Ralph Miarka , John Derrick , Eerke A. Boiten Handling Inconsistencies in Z Using Quasi-Classical Logic. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:204-225 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Comput. J., 1992, v:35, n:6, pp:547-554 [Journal ] Eerke A. Boiten , Howard Bowman , John Derrick , Peter F. Linington , Maarten Steen Viewpoint consistency in ODP. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2000, v:34, n:3, pp:503-537 [Journal ] Eerke A. Boiten , John Derrick Unifying concurrent and relational refinement. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] John Derrick , Eerke A. Boiten Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:1-3 [Journal ] John Derrick , Eerke A. Boiten , Jim Woodcock , Joakim von Wright Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] John Derrick , Eerke A. Boiten Combining Component Specifications in Object-Z and CSP. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2002, v:13, n:2, pp:111-127 [Journal ] John Derrick , Eerke A. Boiten Relational Concurrent Refinement. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2003, v:15, n:2-3, pp:182-214 [Journal ] John Derrick , Eerke A. Boiten , Howard Bowman , Maarten Steen Specifying and Refining Internal Operations in Z. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:2, pp:125-159 [Journal ] Eerke A. Boiten , John Derrick , Graeme Smith Guest Editorial Integrated Formal Methods. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2005, v:17, n:4, pp:389-389 [Journal ] Eerke A. Boiten , Michael Butler Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:3, pp:263- [Journal ] Howard Bowman , Maarten Steen , Eerke A. Boiten , John Derrick A Formal Framework for Viewpoint Consistency. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2002, v:21, n:2, pp:111-166 [Journal ] Chris Taylor , Eerke A. Boiten , John Derrick ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2002, v:149, n:2, pp:57-63 [Journal ] John Derrick , Eerke A. Boiten Calculating upward and downward simulations of state-based specifications. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:13, pp:917-923 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1995, v:53, n:3, pp:131-136 [Journal ] Eerke A. Boiten "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:6, pp:1087-1088 [Journal ] Eerke A. Boiten Improving Recursive Functions by Inverting the Order of Evaluation. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1992, v:18, n:2, pp:139-179 [Journal ] Eerke A. Boiten , John Derrick , Howard Bowman , Maarten Steen Constructive Consistency Checking for Partial Specification in Z. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1999, v:35, n:1, pp:29-75 [Journal ] Eerke A. Boiten , Bernhard Möller Foreword. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2004, v:51, n:1-2, pp:1-2 [Journal ] Howard Bowman , Eerke A. Boiten , John Derrick , Maarten Steen Strategies for Consistency Checking Based on Unification. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1999, v:33, n:3, pp:261-298 [Journal ] John Derrick , Eerke A. Boiten Testing Refinements of State-based Formal Specifications. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1999, v:9, n:1, pp:27-50 [Journal ] Bernhard K. Aichernig , Eerke A. Boiten , John Derrick , Lindsay Groves Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:1- [Journal ] John Derrick , Eerke A. Boiten Relational Concurrent Refinement with Internal Operations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:35-53 [Journal ] From ABZ to Cryptography. [Citation Graph (, )][DBLP ] Modelling Divergence in Relational Concurrent Refinement. [Citation Graph (, )][DBLP ] The Logic of Large Enough. [Citation Graph (, )][DBLP ] Reduction and Refinement. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] More Relational Concurrent Refinement: Traces and Partial Relations. [Citation Graph (, )][DBLP ] Relational Concurrent Refinement: Automata. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.008secs