Browse by Person (creator, editor, contributor, etc.)

Article

Derrick, J. and Boiten, E.A. (2012) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing . ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. The full text of this publication is not available from this repository.

Aichernig, B. and Boiten, E.A. and Butler, M. and Derrick, J. and Groves, L. (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . ISSN 1571-0661. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Smith, G. (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . ISSN 1571-0661. The full text of this publication is not available from this repository.

Aichernig, B. and Boiten, E.A. and Derrick, J. and Groves, L. (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2007) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, online . ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Butler, Michael (2006) Guest Editorial: Editorial for the FAC Special Issue based on derivative papers from "Refine ’05". Formal Aspects of Computing, 18 (3). p. 263. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Smith, G. (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science , 137 (2). pp. 1-242. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Möller, B. (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. The full text of this publication is not available from this repository.

Boiten, E.A. (2003) Book review: Concepts in Programming Languages, by John Mitchell. Journal of Functional Programming, 13 (6). pp. 1087-1088. ISSN 0956-7968. The full text of this publication is not available from this repository.

Boiten, E.A. and Denvir, T. and Derrick, J. and von Wright, J. (2003) Editorial: Special Issue on Refinement. Formal Aspects of Computing, 15 (2). pp. 101-102. ISSN 0934-5043. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2002) Unifying concurrent and relational refinement. Electronic notes in theoretical computing, 70 (3). pp. 94-131. ISSN 1571-0661. The full text of this publication is not available from this repository.

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. The full text of this publication is not available from this repository.

Taylor, C.N. and Boiten, E.A. and Derrick, J. (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings Software, 149 (2). pp. 57-64. ISSN 1462-5970. The full text of this publication is not available from this repository.

Boiten, E.A. and Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M.W.A. (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286 . The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423.

Preview Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards & Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489.

Preview Preview

Derrick, J. and Boiten, E.A. (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50.

Preview Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849.

Preview Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online).

Preview Preview

Boiten, E.A. and Partsch, H.A. and Tuijnman, D. and Völker, N. (1992) How to produce correct software -- an introduction to formal specification and program development by transformations. Computer Journal, 35 (6). pp. 547-554. The full text of this publication is not available from this repository.

Boiten, E.A. (1992) Factorisation of the Factorial -- an example of inverting the flow of computation. Periodica Polytechnica Ser. El. Eng, 35 (2). pp. 77-99. The full text of this publication is not available from this repository.

Boiten, E.A. (1992) Improving recursive functions by inverting the order of evaluation. Science of Computer Programming, 18 . pp. 139-179. The full text of this publication is not available from this repository.

Boiten, E.A. and van den Brand, M.G.J. and van Diepen, N.W.P. and Koster, C.H.A. and Partsch, H.A. and Völker, N. (1992) USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. Periodica Polytechnica Ser. El. Eng., 35 (2). pp. 101-123. The full text of this publication is not available from this repository.

Monograph

Boiten, E.A. and Derrick, J. and Smith, G. (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.

Boiten, E.A. and Derrick, J. and Smith, G. (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain The full text of this publication is not available from this repository.

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ

Preview Preview

Boiten, E.A. and Hoogendijk, P.F. (1996) Nested collections and polytypism. Technical report. Department of Computing Science, Eindhoven University

Preview Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview Preview

Boiten, E.A. and Bowman, H. and Derrick, J. and Steen, M. (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Boiten, E.A. (1991) The many disguises of accumulation. Technical report. Dept. of Informatics, University of Nijmegen

Preview Preview

Boiten, E.A. (1991) Intersections of Sets and Bags of Extended Substructures, and Can Bag Comprehension be Used at All? Technical report. Dept. of Informatics, University of Nijmegen The full text of this publication is not available from this repository.

Boiten, E.A. (1990) Factorisation of the Factorial -- an algorithm discovered by playing with transformations. Technical report. The full text of this publication is not available from this repository.

Asveld, P.R.J. and Boiten, E.A. (1986) A Generator for Turing Machine Simulation Programs - user's manual. Technical report. Universiteit Twente The full text of this publication is not available from this repository.

Conference or workshop item

Boiten, E.A. (2011) Perspicuity and Granularity in Refinement. In: Proceedings 15th International Refinement Workshop. The full text of this publication is not available from this repository.

UNSPECIFIED (2011) Proceedings 15th International Refinement Workshop. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2009) Modelling divergence in Relational Concurrent Refinement. In: IFM 2009: Integrated Formal Methods. The full text of this publication is not available from this repository.

Boiten, E.A. (2008) From ABZ to cryptography (abstract). In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2005) Formal Program Development with Approximations. In: UNSPECIFIED.

Preview

Bujorianu, Marius C. and Boiten, E.A. (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9 . The full text of this publication is not available from this repository.

UNSPECIFIED (2004) Integrated Formal Methods, 4th International Conference. In: Boiten, E.A. and Derrick, J. and Smith, G., eds. Integrated Formal Methods. Lecture Notes in Computer Science, 2999. Springer-Verlag ISBN 3-540-21377-5. The full text of this publication is not available from this repository.

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, E.A. and Derrick, J. and Smith, G., eds. Integrated Formal Methods. Springer pp. 421-440. ISBN 3-540-21377-5. The full text of this publication is not available from this repository.

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

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

Derrick, J. and Akehurst, D.H. and Boiten, E.A. (2002) A framework for UML consistency. In: Workshop on Consistency Problems in UML-based Software Development, October 1st, 2002 , Dresden, Germany.

Preview

Boiten, E.A. (2002) Mathematics of Program Construction: Sixth International Conference. In: 6th International Conference on Mathematics of Program Construction, 27-28 May 2004, Ede, The Netherlands. The full text of this publication is not available from this repository.

Boiten, E.A. (2002) REFINE 2002: The BCS FACS Refinement Workshop. In: Derrick, J. and Boiten, E.A. and Woodcock, J.C.P. and von Wright, J., 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, E.A. and Derrick, J. (2002) Integration of Specifications through Development Relations. In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 23-28th June 2002, Passadena, California. The full text of this publication is not available from this repository.

Taylor, C. and Boiten, E.A. and Derrick, J. (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Formal Methods for Open Object-Based Distributed Systems V, March 20-22, 2002, Enschede, The Netherlands. The full text of this publication is not available from this repository.

Miarka, R. and Derrick, J. and Boiten, E.A. (2002) Handling Inconsistencies in Z using Quasi-Classical Logic. In: Berto, D. and Bowen, J.P. and Henson, M.C. and Robinson, K., eds. ZB 2002:Formal Specification and Development in Z and B. Lecture Notes in Computer Science, 2272. Springer-Verlag Berlin Heidelberg, Grenoble, France pp. 204-225. ISBN 3-540-43166-7. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Fourth International Conference on Formal methods for open object-based distributed systems IV. Kluwer Academic Publishers pp. 257-277. ISBN 0-7923-7923-3 .

Preview

Miarka, R. and Boiten, E.A. and Derrick, J. (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, E.A. and Derrick, J. (2000) Liberating data refinement. In: Backhouse, R.C. and Oliveira, J.N., eds. Proceedings of the 5th International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, 1837. Springer pp. 144-166. ISBN 3-540-67727-5. The full text of this publication is not available from this repository.

Taylor, C. and Derrick, J. and Boiten, E.A. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: 3rd IEEE International Conference on Formal Engineering Methods, Sep 04-06, 2000, York, England. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (1999) Separating component and context specification using Promotion. In: International conference on Integrated Formal Methods 1999 (IFM'99), June 28-29, 1999, York, UK.

Preview Preview

Steen, M. and Derrick, J. and Boiten, E.A. and Bowman, H. (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil.

Preview Preview

Derrick, J. and Boiten, E.A. (1999) Non-atomic refinement in Z. In: Wing, J.M. and Woodchck, J. and Davies, J., eds. FM’99 — Formal Methods. Lecture Notes In Computer Science, 1709 . Springer-Verlag Berlin, Berlin, Germany pp. 1477-1496. ISBN 978-3-540-66588-5. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (1998) Grey Box Data Refinement. In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.

Preview

Boiten, E.A. and Derrick, J. (1998) IO - refinement in Z. In: Evans, A. and Duke, D. and Clark, T., eds. 3rd Northern Formal MethodsWorkshop, 1998. Electronic Workshops in Computing. Springer Verlag ISBN 1-902505-14-X.

Preview

Derrick, J. and Boiten, E.A. (1998) Testing refinements by refining tests. In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 24-26, 1998, Berlin, Germany.

Preview Preview

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, T. and Shiratori, N. and Higashino, T. and Togashi, A., eds. IFIP Conference Proceedings; Vol. 107. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9 .

Preview

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1997) Coupling schemas: data refinement and view(point) composition. In: Northern formal methods, 1997; Jul, Ilkley. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K.. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Weak refinement in Z. In: Bowen, J.P. and Hinchey, M.G. and Till, D., eds. ZUM '97: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1212. Springer-Verlag, Reading pp. 369-388. ISBN 3-540-62717-0.

+1 more...

Derrick, J. and Bowman, H. and Boiten, E.A. and Steen, M. (1996) Comparing LOTOS and Z refinement relations. In: UNSPECIFIED.

Preview Preview

Boiten, E.A. and Geerling, A.M. and Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: UNSPECIFIED. The full text of this publication is not available from this repository.

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

Boiten, E.A. (1991) Solving a combinatorial problem by transformation of abstract data types. In: Computing Science in the Netherlands 1991.

Preview Preview

Partsch, H.A. and Boiten, E.A. (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (1991) Intersections of Bags and Sets of Extended Substructures -- a Class of Problems. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (1989) Inverting the Flow of Computation in Tree-like Recursive Functions. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Book

Derrick, J. and Boiten, E.A. (2001) Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology . Springer ISBN 1-85233-245-X. The full text of this publication is not available from this repository.

Thesis

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

Boiten, E.A. (1988) Een Syntax Assisted Editor. Masters thesis, Universiteit Twente. The full text of this publication is not available from this repository.

Edited book

Boiten, E.A. and Derrick, J. and Smith, G., eds. (2008) Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science , 201 . Elsevier, 264 pp. The full text of this publication is not available from this repository.

Aichernig, B. and Boiten, E.A. and Derrick, J. and Groves, L., eds. (2007) Proceedings of the 11th Refinement Workshop (REFINE 2006)Macao, China 31 October 2006. Electronic Notes in Theoretical Computer Science , 187 . Elsevier, 188 pp. ISBN 1571-0661. The full text of this publication is not available from this repository.