Skip to main content

Items where Author, Editor or other role is "Derrick, J."

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | F | H | K | L | M | S | T
Number of items: 129.

A

Aichernig, Bernhard K., Boiten, Eerke Albert, Butler, Michael, Derrick, John, Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (doi:10.1007/s00165-008-0100-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24076)

Aichernig, Bernhard K., Boiten, Eerke Albert, Derrick, John, Groves, Lindsay (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.040) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14565)

Akehurst, David H., Waters, A. Gill, Derrick, John (2004) A Viewpoints Approach to Designing Group Based Applications. In: Unger, H., ed. Design, Analysis and Simulation of Distributed Systems 2004. Advanced Simulation Technologies Conference . pp. 83-93. , Arlington, Virginia (KAR id:14187)
[thumbnail of A_Viewpoints_Approach_to_Designing_Group_Based_Applications.pdf]
Preview

Akehurst, David H., Derrick, John, Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, 19-21 Nov 2003, Paris, France. (KAR id:13884)
[thumbnail of Design_and_verification.pdf]
Preview

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings. IEEE, pp. 147-158. ISBN 0-7695-1994-6. (doi:10.1109/EDOC.2003.1233845) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13919)

Arts, Thomas, Earle, Clara Benac, Derrick, John (2003) Development of a Verified Erlang Program for Resource Locking. Software Tools for Technology Transfer (STTT), 5 (2). pp. 205-220. ISSN 1433-2779. (doi:10.1007/s10009-003-0114-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13984)

Akehurst, David and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany. ISBN 978-3-540-20491-6. E-ISBN 978-3-540-39958-2. (doi:10.1007/978-3-540-39958-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14014)

Akehurst, David H., Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds. Procedings of the 7th Cabernet Radicals Workshop. . (KAR id:13718)
[thumbnail of DesignAke.pdf]
Preview

Arts, Thomas and Earle, Clara Benac and Derrick, John (2002) Verifying Erlang code: a resource locker case-study. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. UNSPECIFIED LNCS, 2391 . Springer-Verlag, pp. 184-203. ISBN 3-540-43928-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13764)

Akehurst, David H. and Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a (KAR id:21927)
[thumbnail of a_manual_for_a_modelchecker_akehurst.pdf]
Preview

B

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. (doi:10.1016/j.scico.2011.03.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30732)

Boiten, Eerke Albert (2011) Perspicuity and Granularity in Refinement. In: Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science , 55. pp. 182-196. (doi:10.4204/EPTCS.55.10) (KAR id:30752)
[thumbnail of stuttereptcs.pdf]
Preview

Boiten, Eerke Albert and Derrick, John (2009) Modelling divergence in Relational Concurrent Refinement. In: Leuschel, Michael and Wehrheim, Heike, eds. Integrated Formal Methods 7th International Conference. Lecture Notes in Computer Science, 5423 . Springer, Berlin, Germany, pp. 183-199. ISBN 978-3-642-00254-0. E-ISBN 978-3-642-00255-7. (doi:10.1007/978-3-642-00255-7_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24032)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24072)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23964)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, 21 (1-2). pp. 65-102. ISSN 0934-5043. (doi:10.1007/s00165-007-0066-z) (KAR id:14524)
[thumbnail of rcrioo.pdf]
Preview

Boiten, Eerke Albert, Derrick, John (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 15710661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:3372)

Boiten, Eerke Albert 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14568)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14227)

Boiten, Eerke Albert, Derrick, John (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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14337)

Boiten, Eerke Albert and Derrick, John (2005) Formal Program Development with Approximations. In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds. ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 374-392. ISBN 978-3-540-25559-8. E-ISBN 978-3-540-32007-4. (doi:10.1007/11415787_22) (KAR id:14341)
[thumbnail of FormalProgram.pdf]
Preview

Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14174)

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, pp. 421-440. ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/978-3-540-24756-2_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14182)

Boiten, Eerke Albert, Denvir, T., Derrick, John, von Wright, Joakim (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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13889)

Bryans, Jeremy W., Bowman, Howard, Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi:10.1145/937555.937558) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13898)

Boiten, Eerke Albert, Derrick, John (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. (KAR id:13927)
[thumbnail of jour.pdf]
Preview

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2003) A UML approach to the design of open distributed systems. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 561-572. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_56) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13708)

Boiten, Eerke Albert, Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)80488-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13766)

Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286. (doi:10.1016/S1389-1286(02)00255-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13721)

Bowman, Howard, Steen, Maarten, Boiten, Eerke Albert, Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:10.1023/A:1016000201864) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13730)

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70 . Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13759)

Boiten, Eerke Albert, Derrick, John (2002) Integration of Specifications through Development Relations. In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds. Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology. . p. 8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13787)

Bowman, Howard, Derrick, John (2001) Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, 480 pp. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13543)

Bowman, Howard and Derrick, John (2001) Issues in Formal Methods (chapter 3). In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13554)

Bowman, Howard and Derrick, John (2001) Viewpoints Modelling. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 451-475. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13555)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:10.1093/comjnl/44.4.230) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13625)

Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods Second International Conference. Lecture Notes in Comuter Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_11) (KAR id:21939)
[thumbnail of Specification_and_Analysis_of_Automata-based_Designs.ps]
Preview
[thumbnail of Specification_and_Analysis_of_Automata-based_Designs.pdf]
Preview

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21943)

Boiten, Eerke Albert, Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (KAR id:21992)
[thumbnail of root.pdf]
Preview

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22006)

Boiten, Eerke Albert and Derrick, John (2000) Liberating data refinement. In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds. Mathematics of Program Construction 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 144-166. ISBN 978-3-540-67727-7. E-ISBN 978-3-540-45025-2. (doi:10.1007/10722010_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22003)

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. ISSN 0098-5589. (doi:10.1109/TSE.2000.859528) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16156)

Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (KAR id:22063)
[thumbnail of A_Model_Checking_Algorithm_for_Stochastic_Systems.ps]
Preview
[thumbnail of A_Model_Checking_Algorithm_for_Stochastic_Systems.pdf]
Preview

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (KAR id:21731)
[thumbnail of a_formal_framework_for_viewpoint_1_bowman.pdf]
Preview
[thumbnail of a_formal_framework_for_viewpoint_1_bowman.ps]
Preview

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)
[thumbnail of constructive_consistency_checking_boiten.pdf]
Preview
[thumbnail of constructive_consistency_checking_boiten.ps]
Preview

Bryans, Jeremy W., Derrick, John (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods. Electronic Workshops in Computing . Springer (KAR id:21797)
[thumbnail of stochastic_specification_and_verification_bryans.pdf]
Preview
[thumbnail of stochastic_specification_and_verification_bryans.ps]
Preview

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:10.1016/S0167-6423(98)00017-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17119)

Bowman, Howard and Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds. Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). IFIP — The International Federation for Information Processing . Kluwer Academic, pp. 213-239. ISBN 978-1-4757-5266-3. E-ISBN 978-0-387-35562-7. (doi:10.1007/978-0-387-35562-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21871)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Priami, C., ed. Sixth International Workshop on Process Algebras and Performance Modelling. . pp. 51-69. , Nice (KAR id:21606)
[thumbnail of Analysis_of_a_Multimedia_Stream_using_Stochastic_Process_Algebra.pdf]
Preview

Boiten, Eerke Albert and Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop & Formal Methods Pacific 1998. Discrete Mathematics and Theoretical Computer Science . Springer, Heidelberg, Germany, pp. 45-59. ISBN 981-4021-16-4. (KAR id:21607)
[thumbnail of Grey_Box_Data_Refinement.pdf]
Preview

Boiten, Eerke Albert, Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998. (KAR id:21600)
[thumbnail of IO_-_refinement_in_Z.pdf]
Preview

Bolognesi, Tommaso, Derrick, John (1998) Constraint-oriented style for object-oriented formal specification. IEE Proceedings: Software, 145 (2-3). pp. 61-69. ISSN 1462-5970. (doi:10.1049/ip-sen:19986907) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21669)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 644-664. ISBN 978-3-540-63533-8. E-ISBN 978-3-540-69593-6. (doi:10.1007/3-540-63533-5_34) (KAR id:21452)
[thumbnail of zip] [thumbnail of fme97.ps]
Preview

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1997) Coupling schemas: data refinement and view(point) composition. In: Duke, David J. and Evans, A.S., eds. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. . Springer (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21472)

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology, 2 . Springer, Boston, Massachusetts, USA, pp. 335-351. ISBN 978-1-5041-2952-7. E-ISBN 978-0-387-35261-9. (doi:10.1007/978-0-387-35261-9_23) (KAR id:21473)
[thumbnail of zip] [thumbnail of On_Behavioural_Subtyping_in_LOTOS.pdf]
Preview

Bowman, Howard and Derrick, John (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 382-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21500)

Bowman, Howard and Derrick, John (1997) Extending LOTOS with time: A true concurrency perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, A. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 383-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18303)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ACM, New York, USA, pp. 162-166. ISBN 0-89791-867-3. (doi:10.1145/243327.243639) (KAR id:21329)
[thumbnail of vpts.pdf]
Preview
[thumbnail of vpts.ps]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: Gaudel, M.C. and Woodcock, Jim, eds. FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 287-306. ISBN 978-3-540-60973-5. E-ISBN 978-3-540-49749-3. (doi:10.1007/3-540-60973-3_93) (KAR id:21388)
[thumbnail of fme.pdf]
Preview
[thumbnail of fme.ps]
Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 189-204. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_14) (KAR id:21386)
[thumbnail of vpcodp.pdf]
Preview
[thumbnail of vpcodp.ps]
Preview

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21396)
[thumbnail of StrategiesBoiten.pdf]
Preview
[thumbnail of StrategiesBoiten.ps]
Preview

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18834)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21223)
[thumbnail of StrategyBowman.pdf]
Preview
[thumbnail of StrategyBowman.ps]
Preview

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. . pp. 73-85. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-460-1. (KAR id:21226)
[thumbnail of csn95.pdf]
Preview
[thumbnail of csn95.ps]
Preview

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:10.1016/0920-5489(95)00021-L) (KAR id:21243)
[thumbnail of fdtodp.pdf]
Preview
[thumbnail of fdtodp.ps]
Preview

Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. Proceedings of the International Conference on Multimedia Networking: MmNet '95. IEEE, pp. 173-182. ISBN 0-8186-7090-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21237)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21256)
[thumbnail of CrossviewBoiten.pdf]
Preview
[thumbnail of CrossviewBoiten.ps]
Preview

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (KAR id:21281)
[thumbnail of sac.pdf]
Preview
[thumbnail of sac.ps]
Preview

Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (KAR id:21276)
[thumbnail of cvc_results.pdf]
Preview
[thumbnail of cvc_results.ps]
Preview

Bowman, Howard and Derrick, John (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21202)
[thumbnail of odpDerrick.pdf]
Preview
[thumbnail of odpDerrick.ps]
Preview

Bowman, Howard, Derrick, John, Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. . (KAR id:21211)
[thumbnail of ModellingBowman.pdf]
Preview
[thumbnail of ModellingBowman.ps]
Preview

C

Chung, W.M., Howells, Gareth, McDonald-Maier, Klaus D., Hopkins, Andrew B.T., Arslan, Tughrul, Derrick, John (2010) Novel Model Driven Design and Validation Techniques for Adaptive Cruise Control. In: Proc. 1st Workshop on Model Based Engineering for Embedded Systems Design. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24229)

Cole, James and Derrick, John and Milosevic, Zoran and Raymond, Kerry (2001) Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. In: Sloman, Morris and Lobo, Jorge and Lupu, Emil C., eds. Policies for Distributed Systems and Networks International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-17. ISBN 978-3-540-41610-4. E-ISBN 978-3-540-44569-2. (doi:10.1007/3-540-44569-2_1) (KAR id:13640)
[thumbnail of author_obliged_to_submit_cole.pdf]
Preview
[thumbnail of author_obliged_to_submit_cole.ps]
Preview

D

Derrick, John, Boiten, Eerke Albert (2014) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing, 26 (2). pp. 407-432. ISSN 0934-5043. (doi:10.1007/s00165-012-0262-3) (KAR id:30788)
[thumbnail of This is the authors' accepted version. The final publication is available at link.springer.com. (Free while in "Online First".)]
Preview

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:10.1007/978-1-4471-5355-9) (KAR id:37392)
[thumbnail of Flyer for this book]
Preview

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:10.1007/978-3-642-17071-3_13) (KAR id:42313)
[thumbnail of FMCO2.pdf]
Preview

Derrick, John, Boiten, Eerke Albert (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.012) (KAR id:23978)
[thumbnail of entcsroot.pdf]
Preview

Boiten, Eerke Albert and Derrick, John 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:3501)

Derrick, John, Boiten, Eerke Albert (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.043) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14564)

Derrick, John and Smith, Graeme (2004) Linear temporal logic and Z refinement. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 117-131. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14126)

Derrick, John, Boiten, Eerke Albert (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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13890)

Derrick, John, Smith, Graeme (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13948)

Derrick, John (2003) Timed CSP and Object-Z. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, pp. 300-318. ISBN 978-3-540-40253-4. E-ISBN 978-3-540-44880-8. (doi:10.1007/3-540-44880-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13963)

Derrick, John and Wehrheim, Heike (2003) Using coupled simulations in non-atomic refinement. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, pp. 127-147. ISBN 978-3-540-40253-4. E-ISBN 978-3-540-44880-8. (doi:10.1007/3-540-44880-2_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13964)

Derrick, John and Boiten, Eerke Albert (2003) Recent advances in refinement. In: Borger, Egon and Gargantini, Angelo and Riccobene, Elvinia, eds. Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 33-56. ISBN 978-3-540-00624-4. E-ISBN 978-3-540-36498-6. (doi:10.1007/3-540-36498-6_3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14003)

Derrick, John, Akehurst, David H., Boiten, Eerke Albert (2002) A framework for UML consistency. In: Kuzniarz, L. and Reggio, G. and Sourrouille, J.L. and Huzar, Z., eds. UML 2002 Workshop on Consistency Problems in UML-based Software Development. . pp. 30-45. (KAR id:13715)
[thumbnail of FrameworkJohn.pdf]
Preview

Derrick, John, Boiten, Eerke Albert (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. (doi:10.1007/s001650200002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13794)

Derrick, John, Boiten, Eerke Albert (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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13610)

Derrick, John, Fincher, Sally (2000) Teaching Communication Protocols. Computer Science Education, 10 (3). pp. 195-202. ISSN 0899-3408. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21932)

Derrick, John and Smith, Graeme (2000) Structural refinement in Object-Z / CSP. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods Second International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 194-213. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_12) (KAR id:21935)
[thumbnail of Structural_refinement_in_Object-Z__CSP.pdf]
Preview
[thumbnail of Structural_refinement_in_Object-Z__CSP.ps]
Preview

Derrick, John (2000) A single complete refinement rule for Z. Journal of Logic and Computation, 10 (5). pp. 663-675. ISSN 0955-792X. (doi:10.1093/logcom/10.5.663) (KAR id:16369)
[thumbnail of A_single_complete_refinement_rule_for_Z.pdf]
Preview
[thumbnail of A_single_complete_refinement_rule_for_Z.ps]
Preview

Derrick, John and Boiten, Eerke Albert (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 257-277. ISBN 978-1-4757-1018-2. E-ISBN 978-0-387-35520-7. (doi:10.1007/978-0-387-35520-7_13) (KAR id:21969)
[thumbnail of Refinement_of_objects_and_operations_in_Object-Z.ps]
Preview

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:10.1016/S0920-5489(99)00010-0) (KAR id:17284)
[thumbnail of viewpoints_and_consistency:_translating_derrick.pdf]
Preview
[thumbnail of viewpoints_and_consistency:_translating_derrick.ps]
Preview

Derrick, John and Boiten, Eerke (1999) Specifying component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. Proceedings of the 1st International Conference on Integrated Formal Methods. Springer, London, UK, pp. 293-312. ISBN 978-1-85233-107-8. E-ISBN 978-1-4471-0851-1. (doi:10.1007/978-1-4471-0851-1_16) (KAR id:21814)
[thumbnail of separating_component_and_context_derrick.pdf]
Preview
[thumbnail of separating_component_and_context_derrick.ps]
Preview

Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (KAR id:21805)
[thumbnail of testing_refinements_of_state-based_derrick.pdf]
Preview
[thumbnail of testing_refinements_of_state-based_derrick.ps]
Preview

Derrick, John, Boiten, Eerke Albert (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849. (doi:10.1016/S0950-5849(99)00044-0) (KAR id:17282)
[thumbnail of calculating_upward_and_downward_derrick.pdf]
Preview
[thumbnail of calculating_upward_and_downward_derrick.ps]
Preview

Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds. FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems. Lecture Notes In Computer Science, 2 . Springer-Verlag Berlin, Berlin, Germany, pp. 1477-1496. ISBN 978-3-540-66588-5. E-ISBN 978-3-540-48118-8. (doi:10.1007/3-540-48118-4_28) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17280)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s001650050007) (KAR id:21577)
[thumbnail of Specifying_and_Refining_Internal_Operations_in_Z.ps]
Preview
[thumbnail of Specifying_and_Refining_Internal_Operations_in_Z.pdf]
Preview

Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: Bowen, Jonathan P. and Fett, A. and Hinchey, Michael G., eds. ZUM ’98: The Z Formal Specification Notation 11th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 265-283. ISBN 978-3-540-65070-6. E-ISBN 978-3-540-49676-2. (doi:10.1007/978-3-540-49676-2_19) (KAR id:17694)
[thumbnail of Testing_Refinements_by_Refining_Tests.pdf]
Preview
[thumbnail of Testing_Refinements_by_Refining_Tests.ps]
Preview

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 Jul 1997, Ilkley, England. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21474)

Derrick, John and Boiten, Eerke Albert 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 10th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 369-388. ISBN 978-3-540-62717-3. E-ISBN 978-3-540-68490-9. (doi:10.1007/BFb0027298) (KAR id:21516)
[thumbnail of zip] [thumbnail of 21516]

Derrick, John, Bowman, Howard, Boiten, Eerke Albert, Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. . pp. 501-516. Chapman & Hall, Kaiserslautern, Germany ISBN 0-412-79490-X. (KAR id:21330)
[thumbnail of lotoszref.pdf]
Preview
[thumbnail of lotoszref.ps]
Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A. (1996) Supporting ODP - Translating LOTOS to Z. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 399-406. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_29) (KAR id:21389)
[thumbnail of lotosz.pdf]
Preview
[thumbnail of lotosz.ps]
Preview

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (KAR id:21245)
[thumbnail of zum.pdf]
Preview
[thumbnail of zum.ps]
Preview

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (KAR id:21280)
[thumbnail of icodpz.pdf]
Preview
[thumbnail of icodpz.ps]
Preview

Derrick, John and Sultana, R. (1993) The Specification in Z of the REX Protocol. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21089)
[thumbnail of The_Specification_in_Z_of_the_REX_Protocol.ps]
Preview
[thumbnail of The_Specification_in_Z_of_the_REX_Protocol.pdf]
Preview

F

Fernandes, G.P.A. and Derrick, J. (1997) Formal Specification and Testing of a Management Architecture. In: Lazar, Aurel and Saracco, Roberto and Stadler, Rolf, eds. Integrated Network Management V Integrated management in a virtual world Proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 473-484. ISBN 978-1-4757-5519-0. E-ISBN 978-0-387-35180-3. (doi:10.1007/978-0-387-35180-3_35) (KAR id:21505)
[thumbnail of Formal_Specification_and_Testing_of_a_Management_Architecture.ps]
Preview
[thumbnail of Formal_Specification_and_Testing_of_a_Management_Architecture.pdf]
Preview

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Spaniol, Otto and Linnhoff-Popien, Claudia and Meyer, Bernd, eds. Trends in Distributed Systems' 96. Verlag der Augustinus Buchhandlung, Aachen, Germany, pp. 182-196. ISBN 3-86073-473-3. (KAR id:21332)
[thumbnail of FormalDerrick.pdf]
Preview
[thumbnail of FormalDerrick.ps]
Preview

H

Hierons, R., Derrick, John (2000) Editorial: Special issue on specification-based testing. Software Testing Verification & Reliability, 10 (4). pp. 201-202. ISSN 0960-0833. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16204)

K

Kent, Stuart (2001) The Unified Modeling Language. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 978-0-521-77184-9. (KAR id:13503)
[thumbnail of the_unified_modeling_language_kent.pdf]
Preview

L

Linington, Peter F. (2001) Distributed Systems, an ODP Perspective. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13535)

Linington, Peter F. (2001) Issues in Distributed Systems. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 3-17. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13534)

Linington, Peter F., Derrick, John, Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. . pp. 93-114. Chapman & Hall, Darmstadt, Germany (KAR id:21340)
[thumbnail of SpecLinington.pdf]
Preview
[thumbnail of SpecLinington.ps]
Preview

M

Miarka, Ralph and Derrick, John and Boiten, Eerke Albert (2002) Handling Inconsistencies in Z using Quasi-Classical 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 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-225. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13830)

Miarka, Ralph (2002) Inconsistency and underdefinedness in Z specifications. Doctor of Philosophy (PhD) thesis, University of Kent. (doi:10.22024/UniKent/01.02.86002) (KAR id:86002)
[thumbnail of miarka_inconsistency.pdf]
Preview
[thumbnail of miarka_inconsistency.ps]
Preview

Miarka, Ralph and Boiten, Eerke Albert and Derrick, John (2000) Guards, Preconditions, and Refinement in Z. In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds. ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 286-303. ISBN 978-3-540-67944-8. E-ISBN 978-3-540-44525-8. (doi:10.1007/3-540-44525-0_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21990)

S

Smith, Graeme and Derrick, John (2002) Abstract Specification in Object-Z and CSP. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 108-119. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_14) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13698)

Smith, Graeme, Derrick, John (2001) Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in System Design, 18 (3). pp. 249-284. ISSN 0925-9856. (doi:10.1023/A:1011269103179) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13612)

Steen, Maarten, Derrick, John (2000) ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22 (3). pp. 165-189. ISSN 0920-5489. (doi:10.1016/S0920-5489(00)00031-3) (KAR id:21983)
[thumbnail of ODP_Enterprise_Viewpoint_Specification.ps]
Preview

Steen, Maarten and Derrick, John (1999) Formalising ODP Enterprise Policies. In: Proceedings Third International Enterprise Distributed Object Computing. IEEE, pp. 84-93. ISBN 0-7803-5784-1. (doi:10.1109/EDOC.1999.792052) (KAR id:21770)
[thumbnail of formalising_odp_enterprise_policies_steen.pdf]
Preview
[thumbnail of formalising_odp_enterprise_policies_steen.ps]
Preview

Steen, Maarten and Derrick, John (1999) Applying the UML to the ODP Enterprise Viewpoint. Technical report. University of Kent at Canterbury (KAR id:21827)
[thumbnail of applying_the_uml_to_the_odp_steen.pdf]
Preview
[thumbnail of applying_the_uml_to_the_odp_steen.ps]
Preview

Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 248-262. ISBN 978-3-540-65462-9. E-ISBN 978-3-540-49253-5. (doi:10.1007/3-540-49253-4_19) (KAR id:16653)
[thumbnail of consistency_of_partial_process_steen.pdf]
Preview
[thumbnail of consistency_of_partial_process_steen.ps]
Preview

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 177-192. ISBN 978-1-4757-5260-1. E-ISBN 978-0-387-35271-8. (doi:10.1007/978-0-387-35271-8_11) (KAR id:21439)
[thumbnail of Disjunction_of_LOTOS_specifications.pdf]
Preview

Smith, Graeme and Derrick, John (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, Michael G. and Liu, Shaoying, eds. First IEEE International Conference on Formal Engineering Methods. IEEE, pp. 293-302. ISBN 0-8186-8002-4. (doi:10.1109/ICFEM.1997.630436) (KAR id:21436)
[thumbnail of Refinement_and_verification_of_concurrent_systems_specified_in_Object-Z_and_CSP.pdf]
Preview

Steen, Maarten, Bowman, Howard, Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21289)

T

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (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. (doi:10.1049/ip-sen:20020318) (KAR id:13801)
[thumbnail of idl.pdf]
Preview

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Jacobs, Bart and Rensink, Arend, eds. Formal Methods for Open Object-Based Distributed Systems V. IFIP International Federation for Information Processings , 5. pp. 61-76. Kluwer Academic Publishers, Dordrecht ISBN 978-0-7923-7683-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13814)

Taylor, Chris and Boiten, Eerke Albert and Derrick, John (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (KAR id:13546)
[thumbnail of interpreting_odp_viewpoint_taylor.pdf]
Preview
[thumbnail of interpreting_odp_viewpoint_taylor.ps]
Preview

Taylor, C. and Derrick, J. and Boiten, E. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Third IEEE International Conference on Formal Engineering Methods. IEEE, pp. 177-185. ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818) (KAR id:21968)
[thumbnail of icfem.pdf]
Preview

This list was generated on Wed Jan 19 19:35:39 2022 GMT.