# Items where division is "Faculties > Sciences > School of Computing > Systems Architecture Group"

 Up a level
 Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X
Number of items at this level: 626.

## A

 Aagedal, Jan Øyvind and Bezivin, Jean and Linington, Peter F. (2005) Model-Driven Development. In: Malenfant, Jacques and Ostvold, Bjarte M., eds. ECOOP 2004 Workshop Reader. LNCS, 3344 . Springer-Verlag, pp. 148-157. ISBN 3-540-23988-X. (doi:10.1007/b104146) (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)

Abdala, M.A.D., Lahoz, C.H.N., de Lemos, Rogério (2001) Diversity of Safety Arguments in the Validation of a Sounding Rocket Destruction System. In: International System Safety Conference. . pp. 801-810. System Safety Society, Huntsville, Ala
 Preview

Akehurst, David H. (2000) Model Translation: A UML-based specification technique and active implementation approach. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent.
 Preview

 Akehurst, David H. and Bordbar, Behzad (2001) On Querying UML data models with OCL. In: Gogolla, Martin and Kobryn, Cris, eds. ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 91-103. ISBN 978-3-540-42667-7. E-ISBN 978-3-540-45441-0. (doi:10.1007/3-540-45441-1_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)

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. .
 Preview

Akehurst, David H., Bordbar, Behzad, Rodgers, Peter, Dalgliesh, N.T.G. (2002) Automatic Normalisation via Metamodelling. In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development. .
 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)

 Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. Technical report. University of Kent 10.1007/978-3-540-39958-2_19. (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)

 Akehurst, David H. and Kent, Stuart (2002) A Relational Approach to Defining Transformations in a Metamodel. In: Jezequel, Jean-Marc and Hussmann, Heinrich, eds. ≪UML≫ 2002 — The Unified Modeling Language Model Engineering, Concepts, and Tools 5th International Conference Dresden. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 243-258. ISBN 978-3-540-44254-7. E-ISBN 978-3-540-45800-5. (doi:10.1007/3-540-45800-X_20) (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)

 Akehurst, David H., Kent, Stuart, Patrascoiu, Octavian (2003) A Relational Approach to Defining and Implementing Transformations in Metamodels. Software and Systems Modeling, 2 (4). pp. 215-239. ISSN 1619-1366. (doi:10.1007/s10270-003-0032-z) (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)

 Akehurst, David H. and Linington, Peter F. and Patrascoiu, Octavian (2003) OCL 2.0: Implementing the Standard. Technical report. University of 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)

Akehurst, David H., Linington, Peter F., Symes, A.J., Waters, A. Gill (1996) The Effects of ABR Traffic on CBR Traffic. In: UNSPECIFIED.
 Preview
 Preview

 Akehurst, David H., Patrascoiu, Octavian (2003) OCL: Implementing the Standard. In: OCL2.0-''Industry standard or scientific playground?'' - Proceedings of the UML'03 workshop. . Electronic Notes in Theoretical Computer Science (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)

 Akehurst, David H., Patrascoiu, Octavian (2003) Tooling Metamodels with Patterns and OCL. In: Proceedings of the Metamodelling for MDA Workshop. . , York (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)

Akehurst, David H., Waters, A. Gill (1999) UML Deficiencies from the perspective of Automatic Performance Model Generation. In: OOPSLA '99 Workshop on Rigorous Modelling and Analysis with the UML: Challenges and Limitations. .
 Preview

Akehurst, David H. and Waters, A. Gill (1999) UML specification of distributed system environments. Technical report. n/a
 Preview

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
 Preview

Akehurst, David H., Waters, A. Gill, Utton, Peter, Martin, Gino (1999) Predictive Performance Analysis for Distributed Systems - PERMABASE position. In: One Day Workshop on Software Performance Prediction extracted from Designs. . , Heriot-Watt University, Edinburgh
 Preview

Andrews, Paul S., Polack, Fiona, Sampson, Adam T., Scott, Lisa, Coles, Mark (2008) Simulating biology: towards understanding what the simulation shows. In: Stepney, Susan and Polack, Fiona A.C. and Welch, Peter H., eds. Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. . pp. 93-123. Luniver Press ISBN 978-1-905986-17-0.
 Preview

 Atiya, Diyaa-Addein and King, Steven and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dion, eds. FME 2003: Formal Methods International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 617-635. ISBN 978-3-540-40828-4. E-ISBN 978-3-540-45236-2. (doi:10.1007/978-3-540-45236-2_34) (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)

 Atkinson, Will and Cunningham, J. and Kent, Stuart (1990) Deduction with Modularity, Equality and Sortedness. In: FOREST Research Deliverable Report WP3.R1. , Department of Computing, Imperial College of Science, Technology and Medicine, London. (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)

## B

Ball, Rudi and Spurrett, Vicki and de Lemos, Rogério (2006) Dependable and Secure Storage in Pervasive Peer-to-Peer Systems. Technical report. UKC
 Preview

 Barnes, David J. (2000) Object-Oriented Programming with Java: An Introduction. Prentice-Hall, 1028 pp. ISBN 0-13-086900-7. (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)

Barnes, David J. (1992) Observations and Recommendations on the Internationalisation of Software. Technical report. , University of Kent, Canterbury, UK
 Preview
 Preview

 Barnes, David J. and Hopkins, Tim (2006) Applying Software Testing Metrics to Lapack. In: Dongarra, Jack J. and Madsen, Kaj and Wasniewski, Jerzy, eds. Applied Parallel Computing: State of the Art in Scientific Computing 7th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 228-236. ISBN 978-3-540-29067-4. E-ISBN 978-3-540-33498-9. (doi:10.1007/11558958_27) (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)

Barnes, David J. and Hopkins, Tim (2000) The Evolution and Testing of a Medium Sized Numerical Package. In: Langtangen, Hans Petter and Bruaset, Are Magnus and Quak, Ewald, eds. Advances in Software Tools for Scientific Computing. Lecture Notes in Computational Science and Engineering . Springer, Berlin, Germany, pp. 225-238. ISBN 978-3-540-66557-1. E-ISBN 978-3-642-57172-5. (doi:10.1007/978-3-642-57172-5_7)
 Preview
 Preview

Barnes, David J. and Hopkins, Tim (2001) The Impact of Programming Paradigms on the Efficiency of an Individual-based Simulation Model. Technical report. university of kent, UKC, Canterbury, Kent, UK.
 Preview
 Preview

 Barnes, David J., Hopkins, Tim (2007) Improving Test Coverage of Lapack. Applicable Algebra in Engineering Communication and Computing, 18 (3). pp. 209-222. ISSN 0938-1279. (doi:10.1007/s00200-007-0034-0) (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)

 Barnes, David J., Hopkins, Tim (2003) The impact of programming paradigms on the efficiency of an individual-based simulation model. Simulation Modelling Practice and Theory, 11 (7-8). pp. 557-569. ISSN 1569-190X. (doi:10.1016/j.simpat.2003.08.002) (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)

 Barnes, David J., Kölling, Michael (2002) Objects First with Java - A Practical Introduction using BlueJ. Prentice-Hall, 400 pp. ISBN 0-13-044929-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)

Barnes, David J., Smith, Neil (1996) An Analysis of World-Wide Web Proxy Cache Performance and its Application to the Modelling and Simulation of Network Traffic. In: Proceedings of the 4th International Conference on Telecommunication Systems Modeling and Analysis. .
 Preview
 Preview

Barnes, David J. and Smith, Neil (1996) An analysis of World-Wide Web Proxy Cache performance and its application to the modelling and simulation of network traffic. Technical report. UKC, University of Kent, Canterbury, UK
 Preview

Barnes, Frederick R.M. (2006) Compiling CSP. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, pp. 377-388. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0.
 Preview

 Barnes, Frederick R.M. (2005) Interfacing C and occam-pi. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 249-260. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (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)

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 201-218. ISBN 978-1-58603-458-0.
 Preview

 Barnes, Frederick R.M., Welch, Peter H., Sampson, Adam T. (2005) Barrier Synchronisation for occam-pi. In: Parallel and Distributed Processing Techniques and Applications 2005, 27-29 June 2005, Las Vegas, United States. (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)

Berzins, Martin, Gustafsson, Bertil, Haridi, Seif, Linington, Peter F., Rolland, Colette (2004) Evaluation of the Simula Research Laboratory. The Research Council of Norway, Oslo, Norway, 20 pp. ISBN 82-12-02017-7.
 Preview

Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 309-328. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-309)
 Preview

Blackburn, Steve, Jones, Richard E., McKinley, Kathryn S., Moss, J.Eliot B. (2002) Beltway: Getting Around Garbage Collection Gridlock. In: Hendren, Laurie J., ed. Proceedings of PLDI'02 Programming Language Design and Implementation. . pp. 153-164. Association for Computing Machinery, Berlin ISBN 1-58113-463-0.
 Preview
 Preview

 Blair, Gordon S., Blair, Lynne, Bowman, Howard, Chetwynd, Amanda G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-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)

 Blair, Lynne, Blair, Gordon S., Bowman, Howard, Chetwynd, Amanda G. (1995) Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489. (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)

 Blake, Edwin, Cook, Steve J. (1987) On Including Part Hierarchies in Object-oriented Languages, with an Implementation in Smalltalk. In: Proceedings of ECOOP'87, European Conference on Object-oriented Programming. LNCS 276 . Springer-Verlag, Paris (doi:10.1007/3-540-47891-4_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)

 Bodden, Eric (2003) A High-level View of Java Applications. In: OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion). . pp. 384-385. ACM Press., Anaheim, CA ISBN 1-58113-751-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)

 Boel, R. and Bordbar, B. and Stremersch, G. (1998) Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. In: SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics. IEEE Systems, Man, and Cybernetics, Conference, 1 . IEEE, pp. 674-679. ISBN 0-7803-4778-1. (doi:10.1109/ICSMC.1998.725491) (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)

 Boel, R.K., Bordbar, Behzad, Stremersch, G. (1998) A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. In: Proceedings of the 4th International Workshop on Discrete Event Systems. . pp. 79-84. , Cagliari, Italy (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)

Boiten, Eerke Albert (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop. . p. 8. INIST-CNRS
 Preview
 Preview

 Boiten, Eerke Albert (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 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 226-241. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_12) (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)

 Boiten, Eerke Albert and Möller, Bernhard, eds. (2002) Mathematics of Program Construction: Sixth International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, 267 pp. ISBN 978-3-540-43857-1. E-ISBN 978-3-540-45442-7. (doi:10.1007/3-540-45442-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)

 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)

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.
 Preview

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
 Preview
 Preview

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)
 Preview
 Preview

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)
 Preview

 Boiten, Eerke Albert, 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, number TUM-I0323. Lecture Notes in Computer Science (TUM-I0). pp. 47-62. Technische Universitat Munchen (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)

 Boiten, Eerke Albert, De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: Berghammer, R. and Möller, Bernhard, eds. 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). . pp. 82-88. (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)

 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)

Boiten, Eerke Albert, Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop &amp; Formal Methods Pacific '98. Discrete Mathematics and Theoretical Computer Science . pp. 45-59. Springer-Verlag, Canberra ISBN 981-4021-16-4.
 Preview

Boiten, Eerke Albert, Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998.
 Preview

 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)

 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)

 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)

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.
 Preview

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED.
 Preview
 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. BCS-FACS Northern formal methods Workshop. Workshops in Computing , 2. Springer-Verlag ISBN 3-540-76215-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)

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.
 Preview
 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)

 Boiten, Eerke Albert, Möller, Bernhard (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. (doi:10.1016/j.scico.2004.01.009) (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)

 Boiten, Eerke Albert, Partsch, H.A., Tuijnman, D., 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bonnici, Eric, Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). . pp. 232-239. IEEE Press ISBN 978-1-4244-2959-2.
 Preview

 Borba, Paulo H.M., Sampaio, Augusto C.A., Cavalcanti, Ana L. C., Cornélioa, Márcio (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423. (doi:10.1016/j.scico.2004.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)

 Bordbar, Behzad (1998) Weakly almost period functions on N with a negative base. Journal of the London Mathematical Society, (57). pp. 706-720. ISSN 0024-6107. (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)

 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)

 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)

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Proceedings of 6th International Federation of Automatic Control (IFAC). Workshop on Algorithms and Architectures for Real-Time Control . pp. 105-110. Elsevier, Palma de Mallorca, Spain ISBN 0-08-043685-4.
 Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Hybrid Control Systems: a Design Case Study. In: Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings. IEEE, pp. 947-952. ISBN 0-7803-6562-3. (doi:10.1109/CCA.2000.897592)
 Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings. IEEE, pp. 610-615. ISBN 0-7803-6562-3. (doi:10.1109/CCA.2000.897497)
 Preview

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring. 2000 i. pp. 31-33. IEE Digest, London (doi:10.1049/ic:20000237)
 Preview

 Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. . , Ghent, Belgium (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)

Bordbar, Behzad, Pym, J.S. (2000) The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers is not Closed. Transactions of the American Mathematical Society, 352 (2). pp. 823-842. ISSN 0002-9947.
 Preview

 Bordbar, Behzad, Pym, J.S. (1998) The weakly almost periodic compactification of a direct sum of finite groups. Mathematical Proceedings of the Cambridge Philosophical Society, 124 (3). pp. 421-449. ISSN 0305-0041. (doi:10.1017/S0305004198002540) (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)

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)
 Preview
 Preview

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)
 Preview

 Bowman, Howard (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635. (doi:10.1007/BF03037429) (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)

 Bowman, Howard, Blair, Lynne, Blair, Gordon S., Chetwynd, Amanda G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds. Multimedia Transport and Teleservices, International COST 237 Workshop. Lecture Notes in Computer Science , 882. pp. 145-167. Springer-Verlag ISBN 3-540-58759-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)

 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)

 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)

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
 Preview

 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)

 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)

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED.
 Preview
 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
 Preview
 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)

 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)

 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)

Bowman, Howard, Derrick, John, Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. .
 Preview
 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)
 Preview
 Preview

Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED.
 Preview
 Preview

 Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X. (doi:10.1007/s001650050032) (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)

Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J.F. and Luttik, B. and van Warnel, J., eds. FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. . pp. 97-124. CWI ISBN 90-6196-480-6.
 Preview

Bowman, Howard, Faconti, Giorgio, Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98. Eurographics Series . pp. 261-277. Springer-Verlag ISBN 3-211-83212-2.
 Preview
 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
 Preview
 Preview

 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)

 Brito, Patrick H. S., de Lemos, Rogério, Martins, Eliane, Rubira, Cecilia M. F. (2007) Verification and Validation of a Fault-Tolerant Architectural Abstraction. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). Workshop on Architecting Dependable Systems (WADS 2007) . pp. 166-171. (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)

 Brostoff, Sacha, Sasse, M. Angela, Chadwick, David W., Cunningham, James, Mbanaso, Uche, Otenko, Sassa (2005) 'R-What?' Development of a role-based access control policy-writing tool for e-Scientists. Software: Practice and Experience, 35 (9). pp. 835-856. ISSN 0038-0644. (doi:10.1002/spe.691) (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)

Brown, Neil C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering Vol 65 . pp. 183-205. IOS Press, Netherlands ISBN 978-1-58603-767-3.
 Preview

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 67-83. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-67)
 Preview

Brown, Neil C.C., Sampson, Adam T. (2008) Matching and Modifying with Generics. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Trends in Functional Programming (TFP) 2008. . pp. 304-318.
 Preview

Brown, Neil C.C. and Smith, Marc L. (2008) Representation and Implementation of CSP and VCR Traces. In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 329-345. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-329)
 Preview

Brown, Neil C.C. and Welch, Peter H. (2003) An Introduction to the Kent C++CSP Library. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 139-156. ISBN 978-1-58603-381-1.
 Preview

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)
 Preview
 Preview

 Bujorianu, Marius C. and Boiten, Eerke Albert (2004) Towards Correspondence Carrying Specifications. 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. 57-71. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/978-3-540-27815-3_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)

 Burton, C.T., Cook, Steve J., Gikas, S., Rowson, J.R., Sommerville, S.T. (1989) Specifying the Apple Macintosh Toolbox Event Manager. Formal Aspects of Computing, 1 . (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)

 Butterfield, Andrew, Woodcock, Jim (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. . IOS Press (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)

 Butterfield, Andrew, Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (doi:10.1016/S1571-0661(04)80821-1) (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)

## C

 Carvalho, P., Linington, Peter F. (1998) Performance limitations of a Banyan-based ATM switching system under multiple, shaped traffic flows. In: 16th IASTED International Conference on Applied Informatics, Garmisch-Partenkirchen, Germany. . (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)

Caspersen, Michael E., Kölling, Michael (2009) STREAM: A First Programming Process. Transactions of Computing Education, 9 (1). p. 1. ISSN 1946-6226. (doi:10.1145/1513593.1513597)
 Preview

 Cavalcanti, Ana L. C. (2002) Refinement: Object-orientation and Concurrency. In: Proceedings of the 5th Brazilian Workshop on Formal Methods. . (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)

 Cavalcanti, Ana L. C., Florissi, C., Soares, Patricia G., Melo, T.C.S (1987) Implementation of a Relational Language for Microcomputers. In: 7th Conference of the Brazilian Computer Society. . pp. 441-451. (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)

 Cavalcanti, Ana L. C., Meira, Silvio Lemos (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. . pp. 187-204. (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)

 Cavalcanti, Ana L. C., Naumann, David A. (2001) Class Refinement for Sequential Java. In: ECOOP 2001 Workshop on Formal Techniques for Java Programs. . (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)

 Cavalcanti, Ana L. C., Naumann, David A. (2002) Forward Simulation for Data Refinement of Classes. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science , 1. pp. 471-490. Springer-Verlag, Berlin ISBN 978-3-540-43928-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)

 Cavalcanti, Ana L. C., Naumann, David A. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. . pp. 114-127. (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)

 Cavalcanti, Ana L. C., Naumann, David A. (2000) Simulation and Class Refinement for Java. In: Drossopoulou, Sophia and Eisenback, S., eds. ECOOP 2000 Workshop on Formal Techniques for Java Programs. Technical Report 269 . (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)

 Cavalcanti, Ana L. C., Naumann, David A. (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26 (8). pp. 713-728. ISSN 0098-5589. (doi:10.1007/3-540-48118-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)

 Cavalcanti, Ana L. C., Naumann, David A. (1999) A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99: World Congress on Formal Methods in the Development of Computing Systems, Sep 20-24, 1999, Toulouse, France. (doi:10.1007/3-540-48118-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)

 Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) From CPSP-OZ to Java with Processes. In: Proc Workshop on Formal Methods for Parallel Programming held in conjunction with International Parallel and Distributed Processing Symp. . IEEE CS Press, Contained in IPDPS collects proceedings CD-ROM (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)

 Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423. (doi:10.1016/S0167-6423(97)00015-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)

 Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. (doi:10.1590/S0104-65001998000200002) (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)

 Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2003) A Refinement Strategy for Circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. 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)

 Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science , 70. pp. 132-162. Elsevier B.V (doi:10.1016/S1571-0661(05)80489-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)

 Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2003) A unified language of classes and processes. In: St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering. . , Satellite Workshop at FM'03 (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)

Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent
 Preview

 Cavalcanti, Ana L. C., Woodcock, Jim (2003) Predicate transformers in the semantics of Circus. IEE Proceedings: Software, 150 (1). ISSN 1462-5970. (doi:10.1049/ip-sen:20030131) (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)

 Cavalcanti, Ana L. C., Woodcock, Jim (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002. . IOS Press ISBN 4-274-90539-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)

 Cavalcanti, Ana L. C., Woodcock, Jim (1998) A Weakest Precondition Semantics for Z. Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620. (doi:10.1093/comjnl/41.1.1) (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)

 Cavalcanti, Ana L. C., Woodcock, Jim (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. (doi:10.1007/s001650050016) (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)

Cepin, M., de Lemos, Rogério, Mavko, B., Riddle, S., Saeed, Amer (1997) An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Daniel, P., ed. Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). . pp. 281-294. Springer-Verlag, Berlin, Germany, York, UK
 Preview
 Preview

Chadwick, David W. (2005) Authorisation in Grid Computing. Information Security Technical Report, 10 (1). pp. 33-40. ISSN 1363-4127.
 Preview

Chadwick, David W. (2005) Delegation Issuing Service. In: NIST 4th Annual PKI Workshop. . pp. 62-73. , Gaithersberg, USA
 Preview

Chadwick, David W. (2007) Operational Models for Reputation Servers. In: Herrmann, Peter and Issarny, Valerie and Shiu, Simon, eds. Trust Management: Third International Conference, iTrust 2005. Lecture Notes in Computer Science, 3477 . Springer, Berlin, pp. 108-115. ISBN 978-3-540-26042-4.
 Preview

 Chadwick, David W. (2005) Security and Trust Management Extensions to the PERMIS X.509 Privilege Management Infrastructure. ERCIM News, 63 . (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)

Chadwick, David W. (2004) The X.509 Privilege Management Infrastructure. In: Jerman-Blazic, B. and Schneider, W.S. and Klobucar, T., eds. Security and Privacy in Advanced Networking Technologies. NATO Science Series: Computer & Systems Sciences, 193 . IOS Press, Amsterdam, pp. 15-25. ISBN 978-1-58603-430-6.
 Preview

 Chadwick, David W. (2005) The X.509 Privilege Management Standard. UPGRADE: The European Journal for the Informatics Professional, VI (4). pp. 41-46. ISSN 1684-5285. (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)

 Chadwick, David W., Beitis, George, Owen, Gareth (2008) Adding Authorisation to EduRoam. In: TERENA Networking Conference. . , Brugge, Belgium (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)

Chilimbi, Trishul, Jones, Richard E., Zorn., Benjamin (2001) Designing a Trace Format for Heap Allocation Events. ACM SIGPLAN Notices, 36 (1). pp. 35-49. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/362426.362435)
 Preview
 Preview

 Clark, A. and Evans, Andy and Kent, Stuart (2001) A Reference Implementation for UML. In: Henderson-Sellers, B. and Barbier, F., eds. Object Modelling with UML. Special Issue of L'Objet, 7 . Hermes Science, pp. 363-385. (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)

 Clark, Anthony, Evans, Andy, Kent, Stuart (2003) Aspect-Oriented Metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620. (doi:10.1093/comjnl/46.5.566) (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)

 Clark, Anthony and Evans, Andy and Kent, Stuart (2002) Engineering Modelling Languages: A Precise Meta-Modelling Approach. In: Weber, H., ed. Fundamental Approaches to Software Engineering 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 159-173. ISBN 978-3-540-43353-8. E-ISBN 978-3-540-45923-1. (doi:10.1007/3-540-45923-5_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)

 Clark, Anthony and Evans, Andy and Kent, Stuart (2002) A Meta-Model Facility for a Family of UML Constraint Languages. In: Clark, Anthony and Warmer, Jos, eds. Object Modeling with the OCL. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 440-443. ISBN 978-3-540-43169-5. E-ISBN 978-3-540-45669-8. (doi:10.1007/3-540-45669-4_2) (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)

 Clark, Anthony, Evans, Andy, Kent, Stuart (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: Proceedings of ETAPS FASE Conference. . Springer-Verlag (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)

 Clark, Anthony and Evans, Andy and Kent, Stuart (2002) A Metamodel for Package Extension with Renaming. In: Jezequel, Jean-Marc and Hussmann, Heinrich and Cook, Stephen, eds. ≪UML≫ 2002 — The Unified Modeling Language Model Engineering, Concepts, and Tools 5th International Conference Dresden. Lecture Notes in Computer Science, 2460 . Springer, Berlin, Germany, pp. 305-320. ISBN 978-3-540-44254-7. E-ISBN 978-3-540-45800-5. (doi:10.1007/3-540-45800-X_24) (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)

 Cleal, C. and Daniels, J. and Cook, S. (1996) Partitioning Dynamic Object Models. In: O'Callaghan, A.J. and Thornes, S., eds. Practical Experiences of Object Technology. Nelson Thomas Limited. (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)

 Conca, Piero, Timmis, Jon, de Lemos, Rogerio, Forrest, Simon, McCracken, Heather (2015) An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments. In: International Workshop on Machine learning, Optimization and big Data, July 21 to 23, 2015, Taormina - Sicily, Italy. (Unpublished) (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)

 Cook, Steve J. (1999) Architectural Standards, Processes and Patterns for Enterprise Systems. In: Barroca, Leonor and Hall, Jon and Hall, Patrick A.V., eds. Software Architectures - Advances and Applications. Springer-Verlag. (doi:10.1007/978-1-4471-0367-7_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)

 Cook, Steve J. (1986) Languages and Object-oriented Programming. Software Engineering Journal, 1 (2). (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)

 Cook, Steve J. (1986) Modelling Generic User Interfaces with Functional Programs. In: Harrison, M.D. and Monk, A.F., eds. Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group. . Cambridge University Press (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)

 Cook, Steve J. (1991) Object-oriented Techniques: Scope, Principles, Languages, Methods and Strategies. In: Florentin, J.J., ed. Object-oriented Programming Systems. Chapman and Hall. (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)

 Cook, Steve J. (1983) Playing Cards on the PERQ - An Algorithm for Overlapping Rectangles. Software: Practice and Experience, 13 (11). pp. 1043-1053. ISSN 0038-0644. (doi:10.1002/spe.4380131109) (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)

 Cook, Steve J. (1991) Programming Languages based on Objects. In: Blair, Gordon S., ed. Object-oriented Languages, Systems and Applications. Pitmans. (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)

 Cook, Steve J. (2000) The UML Family: Profiles, Prefaces and Packages. In: Evans, Andy and Kent, Stuart and Selic, Bran, eds. «UML» 2000 — The Unified Modeling Language. Lecture Notes in Computer Science , 1939. (doi:10.1007/3-540-40011-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)

 Cook, Steve J. (1994) The World isn't Software. Journal of Object-Oriented Programming, 5 (9). ISSN 0896-8438. (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)

 Cook, Steve J., Abramsky, Samson (1981) Pascal-m in Office Information Systems. In: Naffah, N., ed. Proceedings of the Second International Workshop on office Information Systems. . North-Holland, Couvent Royal de Saint-Maximin, France (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)

 Cook, Steve J., Birch, Gary (1991) Modelling Groupware in the Electronic Office. International Journal of Man-Machine Studies, 34 (3). pp. 369-393. ISSN 0020-7373. (doi:10.1016/0020-7373(91)90026-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)

 Cook, Steve J. and Coulouris, George F. and Dollimore, Jean and Drake, Kieron O. and Francis, John (1991) Interactive User Interfaces. In: Blair, Gordon S., ed. Object-oriented Languages, Systems and Applications. Pitmans. (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)

 Cook, Steve J. and Daniels, J. (1994) Essential Techniques for Object-oriented Design. In: Carmichael, Andy J., ed. Object Development Methods. SIGS Books Inc.. (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)

 Cook, Steve J., Daniels, John (1994) Designing Object Systems. Journal of Object-Oriented Programming, . ISSN 0896-8438. (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)

 Cook, Steve J., Daniels, John (1994) Designing Object Systems: Object-oriented Modelling with Syntropy. Prentice-Hall (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)

 Cook, Steve J. and Kleppe, Anneke and Mitchell, Richard and Rumpe, Bernhard and Warmer, Jos and Wills, A.C. (1999) Defining UML Family Members using Prefaces. In: Proceedings Technology of Object-Oriented Languages and Systems. IEEE, pp. 102-114. ISBN 0-7695-0462-0. (doi:10.1109/TOOLS.1999.809418) (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)

 Cook, Steve J. and Kleppe, Anneke and Mitchell, Richard and Warmer, Jos and Wills, Alan (1999) Defining the Context of OCL Expressions. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language Beyond the Standard Second International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 372-383. ISBN 978-3-540-66712-4. E-ISBN 978-3-540-46852-3. (doi:10.1007/3-540-46852-8_27) (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)

 Cook, Steve J. and Masnavi, S. (1989) Visual Programming of User Interfaces. In: Kilgour, Alistair and Earnshaw, Rae A., eds. Graphics Tools for Software Engineering. Cambridge University Press. (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)

 Cook, Steve J., Roberts, G.A. (1986) A Compile-time Type Checking System for Smalltalk-80. In: 3rd Study Sessions on Object-Oriented Languages. Bigre+Globule no. 48 . , Paris, France (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)

 Cook, Steve J. and Selic, Bran (1997) OMG OA&D RFP Response V1.0. Technical report. (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)

 Cooper, David and Stepney, Susan and Woodcock, Jim (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University (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)

 Cornélioa, Márcio, Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science , 70. pp. 311-330. Elsevier Science B V (doi:10.1016/S1571-0661(05)82564-2) (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)

 Coutinho, S.L., Reis, T.P.C., Cavalcanti, Ana L. C. (1999) A Tool for Teaching Refinement. In: 13th Brazilian Symposium on Software Engineering - Tools Session. . pp. 61-64. (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)

Crawford, John (1998) A Hybrid Approach to Quality of Service Multicast Routing in High Speed Networks. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.
 Preview
 Preview

Crawford, John and Waters, A. Gill (1996) An Heuristic for Lower Cost Multicast Routing in the Internet. Technical report. UKC
 Preview
 Preview

Crawford, John, Waters, A. Gill (1998) Heuristics for ATM Multicast Routing. In: Kouvatsos, D.D., ed. ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers. . 5/1-5/18. Performance Engineering Workshop, University of Bradford
 Preview
 Preview

Crawford, John, Waters, A. Gill (1997) A Hybrid Approach to Quality of Service Multicast Routing. In: ATM'97 Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, 21-23 Jul 1997, Ilkley, West Yorkshire, UK. (Unpublished)
 Preview
 Preview

Crawford, John and Waters, A. Gill (1997) Low Cost Quality of Service Multicast Routing in High Speed Networks. Technical report. University of Kent at Canterbury
 Preview
 Preview

 Crutcher, Laurence A., Waters, A. Gill (1992) Connection Management for an ATM Network. IEEE Network, 6 (6). pp. 42-55. (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)

Cámara, Javier, de Lemos, Rogerio, Laranjeiro, Nuno, Ventura, Rafael, Vieira, Marco (2015) Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Transactions on Dependable and Secure Computing, 6 (1). ISSN 1545-5971. E-ISSN 1545-5971. (doi:10.1109/TDSC.2015.2429128)
 Preview

## D

 Daniels, John, Cook, Steve J. (1993) Strategies for Sharing Objects in Distributed Systems. Journal of Object-Oriented Programming, . ISSN 0896-8438. (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)

 Day, Dominic, Shrimpton, David, Waters, A. Gill (2002) Supporting Groups in a Ubiquitous Environment. In: Proceedings of 3rd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting. . pp. 92-97. Liverpool John Moores University, Liverpool ISBN 1-902560-08-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)

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)
 Preview
 Preview

 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)

 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)

Derrick, John, Boiten, Eerke Albert (1999) Separating component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. International Conference on Integrated Formal Methods 1999 (IFM'99). . pp. 293-312. Springer ISBN 18523310710.
 Preview
 Preview

Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50.
 Preview
 Preview

 Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing . Springer-Verlag ISBN 3-540-76215-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)

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED.
 Preview
 Preview

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED.
 Preview
 Preview

Dimmich, Damian J. (2007) Channel Communications on the Cell Broadband Engine. In: Post Graduate Conference Proceedings. Number (06-07). University of Kent, CT2 7NF, Canterbury, Kent
 Preview

Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Broenink, Jan F. and Roebbers, H. and Sunter, J. and Welch, Peter H. and Wood, D., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 235-248. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2.
 Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 215-224. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0.
 Preview

 Dobbyn, Chris and Shrimpton, David and Casey, Tom (1999) Models of Convergence between the World Wide Web and Interactive Television using MHEG-5. In: Proceedings of the 3rd IASTED International Conference on Internet and Multimedia Systems and Applications (IASTED/IMSA'99). IASTED/ACTA Press, pp. 94-99. ISBN 0-88986-271-0. (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)

 Duran, Adolfo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino, eds. FME 2003: Formal Methods International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 301-320. ISBN 978-3-540-40828-4. E-ISBN 978-3-540-45236-2. (doi:10.1007/978-3-540-45236-2_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)

 Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto (2002) Refinement Algebra for Formal Bytecode Generation. In: Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 347-358. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_36) (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)

 Duran, Adolfo, Sampaio, Augusto C.A., Cavalcanti, Ana L. C. (2001) Formal Bytecode Generation for a ROOL Virtual Machine. In: 4th Brazilian Workshop on Formal Methods. . (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)

 da Cunha, Rudnei Dias and Hopkins, Tim (1991) A Comparative Study of Iterative Methods to Solve Systems of Linear Equations using Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (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)

da Cunha, Rudnei Dias and Hopkins, Tim (1994) A Comparison of Acceleration Techniques Applied to the SOR Method. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1996) PIM 2.0 The Parallel Iterative Methods Package for Systems of Linear Equations User's Guide (Fortran 77 version). Technical report. UKC, University of Kent, Canterbury, UK
 Preview
 Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1993) A Parallel Implementation of the Restarted GMRES Iterative Method for Nonsymmetric Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK
 Preview

 da Cunha, Rudnei Dias and Hopkins, Tim (1991) Parallel Overrelaxation Algorithms for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (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)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK
 Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1992) The Parallel Solution of Partial Differential Equations on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK
 Preview
 Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1992) The Parallel Solution of Systems of Linear Equations using Iterative Methods on Transputer Networks. Technical report. , University of Kent, Canterbury, UK
 Preview
 Preview

 da Cunha, Rudnei Dias and Hopkins, Tim (1991) The Parallel Solution of Triangular Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (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)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Porting Linear Algebra Subroutines from Transputers to Clusters of Workstations. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK
 Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Using parallel programming environments on clusters of workstations. Technical report. UKC, University of Kent, Canterbury, UK
 Preview
 Preview

 de C. Guerra, P. Asterio and Rubira, C.M. F. and Romanovsky, A. and de Lemos, R. (2003) Integrating COTS Software Components into Dependable Software Architectures. In: Puschner, P. and Nakajima, T. and Ghafoor, A., eds. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE. ISBN 0-7695-1928-8. (doi:10.1109/ISORC.2003.1199247) (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)

 de C. Guerra, P.A., Rubira, Cecilia M. F., Romanovsky, A., de Lemos, Rogério (2003) A Fault-Tolerant Software Architecture for COTS-Based Software Systems. Software Engineering Notes, 28 (5). pp. 375-382. ISSN 0163-5948. (doi:10.1145/949952.940125) (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)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, Alexander and de Lemos, Rogério (2004) A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems II. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 144-166. ISBN 978-3-540-23168-4. E-ISBN 978-3-540-25939-8. (doi:10.1007/978-3-540-25939-8_7)
 Preview

 de C. Guerra, P.A. and Rubira, Cecilia M. F. and de Lemos, Rogério (2003) A Fault-Tolerant Software Architecture for Component-Based Systems. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 129-149. ISBN 978-3-540-40727-0. E-ISBN 978-3-540-45177-8. (doi:10.1007/3-540-45177-3_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)

de Lemos, R. (2000) Safety Analysis of an Evolving Software Architecture. In: Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering. IEEE, pp. 159-167. ISBN 0-7695-0927-4. (doi:10.1109/HASE.2000.895455)
 Preview

 de Lemos, Rogério (2004) Analysing Failure Behaviours in Component Interaction. Journal of Systems and Software, 71 (1-2). pp. 97-115. ISSN 0164-1212. (doi:10.1016/S0164-1212(02)00152-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)

 de Lemos, Rogério (1999) Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions. In: Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF). . pp. 35-48. , Campinas, Brazil (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)

 de Lemos, Rogério (2005) Architecting Web services applications for improving availability. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, pp. 69-91. ISBN 978-3-540-28968-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)

 de Lemos, Rogério (2005) The Conflict between Self-* Capabilities and Predictability. In: Babaoglu, Ö., ed. Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations. Lecture Notes in Computer Science . Springer, pp. 219-228. (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)

de Lemos, Rogério (2001) Describing Evolving Dependable Systems using Co-operative Software Architectures. In: Proceedings IEEE International Conference on Software Maintenance: ICSM 2001. IEEE, pp. 320-329. ISBN 0-7695-1190-2. (doi:10.1109/ICSM.2001.972745)
 Preview

 de Lemos, Rogério (2006) Idealised Fault Tolerant Architectural Element. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006). . pp. 76-81. (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)

de Lemos, Rogério (2002) Novel Approaches in Dependable Computing. In: Bondavalli, A. and Thevenod-Fosse, P., eds. Dependable Computing EDCC-4 4th European Dependable Computing Conference. Lecture Notes in Computer Science, 1 . Springer, Berlin, Germany, pp. 704-708. ISBN 978-3-540-00012-9. E-ISBN 978-3-540-36080-3. (doi:10.1007/3-540-36080-8_7)
 Preview

de Lemos, Rogério, Fiadeiro, J. (2002) An Architectural Support for Self-Adaptive Software for Treating Faults. In: Garlan, D. and Kramer, J. and Wolf, A., eds. Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). . pp. 39-42. Association for Computing Machinery, Charleston, SC, USA ISBN 978-1-58113-609-8. (doi:10.1145/582128.582136)
 Preview

 de Lemos, Rogério, Gacek, Cristina, Romanovsky, Alexander (2006) Architecting Dependable Systems. Journal of Systems and Software, 79 (10). pp. 1359-1360. ISSN 0164-1212. (doi:10.1016/j.jss.2006.04.008) (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)

 de Lemos, Rogério, Hall, Jon G. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Alur, Rajeev and Henzinger, Y.A. and Sontag, E., eds. Hybrid Systems III. Lecture Notes in Computer Science 1066 . pp. 114-125. Springer-Verlag, Berlin, Germany (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)

 de Lemos, Rogério, Romanovsky, A. (1998) Coordinated Atomic Actions in Modelling Objects Cooperation. In: Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98). . pp. 152-160. , Kyoto, Japan (doi:10.1109/ISORC.1998.666785) (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)

 de Lemos, Rogério, Romanovsky, A. (1999) Exception Handling in a Cooperative Object-Oriented Approach. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99). . pp. 3-13. , Saint Malo, France (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)

 de Lemos, Rogério, Romanovsky, A. (2001) Exception Handling in the Software Lifecycle. International Journal of Computer Systems Science and Engineering, 16 (2). pp. 167-181. ISSN 0267-6192. (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)

 de Lemos, Rogério, Saeed, Amer (1999) Validating Formal Verification using Safety Analysis Techniques. In: Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99) / Lecture Notes in Artificial Intelligence. . pp. 58-66. 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)

 de Lemos, Rogério, Saeed, Amer, Anderson, Tom (1996) Analysis of Safety Requirements for a Chemical Batch Processing System. In: Hilburn, T. and Suski, Gregory J. and Zalewski, Janusz, eds. Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. . pp. 205-210. Pergamon/Elsevier Science, Oxford UK, Daytona Beach, Florida, USA (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)

 de Lemos, Rogerio and Weber, Taisy Silva and Camargo Jr., João Batista, eds. (2003) Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Lecture Notes in Computer Science, 2847 . Springer, 371 pp. ISBN 3-540-20224-2. (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)

 de Lemos, Rogério, de C. Guerra, P.A., Rubira, Cecilia M. F. (2006) A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software, 23 (2). pp. 80-87. ISSN 0740-7459. (doi:10.1109/MS.2006.35) (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)

## E

 El-Giar, Mohamed Osama and Hopkins, Tim (1990) A Generally Configurable Multigrid Implementation for the Solution of Three-Dimensional Elliptic Equations on a Transputer Network. Technical report. UKC, University of Kent, Canterbury, UK (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)

 El-Giar, Mohamed Osama and Hopkins, Tim (1989) The Parallel Solution of Linear Elliptic Equations using Hopscotch Algorithms. Technical report. UKC, University of Kent, Canterbury, UK (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)

El-Giar, Osama and Hopkins, Tim (1992) A Generally Configurable Multigrid Implementation for Transputer Networks. Technical report. I O S Press, University of Kent, Canterbury, UK
 Preview
 Preview

Evans, Andy, Kent, Stuart (1999) Core Meta-Modelling Semantics of UML: The pUML Approach. In: Proceedings of UML'99. . IEE Computer Society Press
 Preview

 Evans, Andy, Kent, Stuart, Selic, Bran (2000) Proceedings of UML 2000. In: LNCS. Lecture Notes in Computer Science , 1939. Springer Verlag (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)

## F

Fabris, Fabio, Freitas, Alex A., Tullet, Jennifer M.A. (2015) An Extensive Empirical Comparison of Probabilistic Hierarchical Classifiers in Datasets of Ageing-Related Genes. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 13 (6). pp. 1045-1058. ISSN 1545-5963. E-ISSN 1557-9964. (doi:10.1109/TCBB.2015.2505288)
 Preview

Fernandes, G.P.A., Utting, Ian (1996) An Architecture for Scheduling of Services in a Distributed System. In: DSOM'96 - Seventh IFIP/IEEE International Workshop on Distributed Systems: Operations &amp; Management. . , L'Aquila, Italy
 Preview
 Preview

Fernandes, G.P.A., Utting, Ian (1996) An Object-Oriented Model for Management of Services in a Distributed System. In: Mühlhäuser, M., ed. Special Issues in Object-Oriented Programming - Workshop Reader of the 10th European Conference on Object-Oriented Programing ECOOP'96. . pp. 262-266. dpunkt.verlag, Linz, Austria ISBN 3-920993-67-5.
 Preview
 Preview

Ferreira, G.R.M. and Rubira, C.M.F. and de Lemos, R. (2001) Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In: Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking. IEEE Conference Proceedings . IEEE, pp. 182-193. ISBN 0-7695-1275-5. (doi:10.1109/HASE.2001.966819)
 Preview

 Fiadeiro, J. and Goldsack, Stephen J. and Kent, Stuart and Quirk, W. (1992) Design Issues in Structured MAL. In: FOREST Research Deliverable Report WP1.R2. Dept of Computing, Imp College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (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)

Fisker, Kasper, McCall, Davin, Kölling, Michael, Quig, Bruce (2008) Group work support for the BlueJ IDE. In: Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE '08). . ACM, Madrid, Spain ISBN 978-1-60558-078-4.
 Preview

 Flower, Jean and Howse, John and Kent, Stuart and Taylor, John (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments. IEEE. ISBN 0-7695-1644-0. (doi:10.1109/HCC.2002.1046350) (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)

 Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C. (2003) A Refinement Tool for Z. In: Dong, Jin Song and Woodcock, Jim, eds. Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 396-415. ISBN 978-3-540-20461-9. E-ISBN 978-3-540-39893-6. (doi:10.1007/978-3-540-39893-6_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)

Freitas, Leonardo (2002) JACK: A process algebra implementation in Java. Other masters thesis, Centro de Informatica, Universidade Federal de Pernambuco.
 Preview

 Freitas, Leonardo, Cavalcanti, Ana L. C., Moura, Hermano (2001) Animating CSP(M) Using Action Semantics. In: 4th Brazilian Workshop on Formal Methods. . (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)

Freitas, Leonardo, Cavalcanti, Ana L. C., Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. . Sociedade Brasileira de Computacao
 Preview
 Preview

Freitas, Leonardo, Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) JACK: A Framework for Process Algebra Implementation in Java. In: Proceedings of XVI Simpósio Brasileiro de Engenharia de Software. . pp. 1-16. Sociedade Brasileira de Computacao, http://www.sbc.org.br/sbes
 Preview

## G

Gacek, Cristina and de Lemos, Rogério (2005) Architectural Description of Dependable Software Systems. Technical report. UKC
 Preview

Gacek, Cristina and de Lemos, Rogério (2006) Architectural Description of Dependable Software Systems. In: Besnard, Denis and Gacek, Cristina and Jones, Cliff B., eds. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer London, pp. 127-142. ISBN 978-1-84628-110-5. (doi:10.1007/1-84628-111-3_7)
 Preview

Ghosh, Siddhartha, Marshall, Ian W. (2005) Simple Model of Learning and Collective Decision Making during Nectar Source Selection by Honey Bees. In: Simple Model of Learning and Collective Decision Making during Nectar Source Selection by Honey Bees. . University of Kent
 Preview

Ghosh, Siddhartha, Marshall, Ian W., Freitas, Alex A. (2007) Robust Autonomous Detection of the Faulty Sensors of a Sensor Array. In: 2nd IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2007, CAMPSAP 2007. . pp. 233-236. IEEE Signal Processing Society ISBN 978-1-4244-1713-1.
 Preview

 Giacomini, L. and Bordbar, B. and Holding, D.J. (2000) Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. In: Proceedings of the 39th IEEE Conference on Decision and Control. IEEE Conference on Decision and Control - Proceedings . IEEE, Sydney Convention and Exhibition Centre, pp. 2180-2185. ISBN 0-7803-6638-7. (doi:10.1109/CDC.2000.914118) (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)

Gil, J. and Howse, J. and Kent, S. (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages. IEEE, pp. 130-137. ISBN 0-7695-0216-4. (doi:10.1109/VL.1999.795884)
 Preview

Gil, Joseph, Howse, John, Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Proceedings of TOOLS USA'99. . IEEE Computer Society Press (doi:10.1109/TOOLS.1999.10066)
 Preview

 Gil, Joseph, Howse, John, Kent, Stuart (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. . pp. 72-79. IEEE Computer Society Press, Stresa, Italy (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)

Gill, J.Y. and Kent, Stuart (1998) Three Dimensional Software Modelling. In: Proceedings of the 20th International Conference on Software Engineering. IEEE, pp. 105-114. ISBN 0-8186-8368-6. (doi:10.1109/ICSE.1998.671107)
 Preview

Gill, Jas and Howse, John and Kent, Stuart and Taylor, John (2000) Projections in Venn-Euler Diagrams. In: Proceeding 2000 IEEE International Symposium on Visual Languages. IEEE, pp. 119-126. ISBN 0-7695-0840-5. (doi:10.1109/VL.2000.874375)
 Preview

 Goldsack, Stephen J., Kent, Stuart (1996) Formal Methods and Object Technology. FACIT Series . Springer-Verlag, 368 pp. ISBN 978-3-540-19977-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)

## H

Haboush, W.S. (2008) Adaptive Task Selection using Threshold-based Techniques in Dynamic Sensor Networks. Doctor of Philosophy (PhD) thesis, Computing Laboratory.
 Preview

 Haboush, W.S., Shrimpton, David (2005) Fixed Response-Threshold Model for Task Allocation in Sensor Networks. In: London Communications Symposium, 7-9 September 2005, London, United Kingdom. (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)

 Hall, Jon G., de Lemos, Rogério (1996) ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems. In: Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems. . pp. 3-8. IEEE Computer Press, L'Aquila, Italy (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)

Hamie, Ali, Civello, Franco, Howse, John, Kent, Stuart, Mitchell, Richard (1998) Reflections on the Object Constraint Language. In: Post Workshop Proceedings of UML98. Lecture Notes in Computer Science , 1618. pp. 162-172. Springer Verlag ISBN 3-540-66252-9.
 Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Interpreting the Object Constraint Language. In: Proceedings of the 1998 Asia Pacific Software Engineering Conference. IEEE, pp. 288-295. ISBN 0-8186-9183-2. (doi:10.1109/APSEC.1998.733731)
 Preview

Hamie, Ali, Howse, John, Kent, Stuart (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop. eWics Series . Springer Verlag
 Preview

Hamie, Ali, Howse, John, Kent, Stuart (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98. . pp. 123-137. Springer Verlag
 Preview

Hanson, Richard J., Hopkins, Tim (2004) Algorithm 830: Another Visit With Standard and Modified Givens Transformations and A Remark on Algorithm 539. ACM Transactions on Mathematical Software, 30 (1). pp. 86-94. ISSN 0098-3500. (doi:10.1145/974781.974786)
 Preview

 Hartel, Pieter H., Feeley, Marc, Alt, Martin, Augustsson, Lennart, Baumann, Peter, Beemster, Marcel, Chailloux, Emmanuel, Flood, Christine H., Grieskamp, Wolfgang, van Groningen, John H.G. and others. (1996) The Pseudoknot Functional Benchmark. Research Journal, . (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)

 Hartel, Pieter H., Feeley, Marc, Jones, Richard E., Thomas, Stephen P. (1996) Benchmarking Implementations of Functional Languages with Pseudoknot', a Float-Intensive Benchmark. Journal of Functional Programming, 6 (4). pp. 621-655. ISSN 0956--7968. (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)

 Hatton, Leslie (1999) Ariane 5: A Smashing Success. Software Testing and Quality Engineering, 1 (2). pp. 14-16. (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)

Hatton, Leslie (2000) Balancing static and dynamic testing: some observations from measurement. UNSPECIFIED.
 Preview

 Hatton, Leslie (1994) A Case History of Automated Improvement of Software Product Quality. Software Quality Assurance and Measurement, Fenton . (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)

 Hatton, Leslie (1995) Computer Programming Languages and Safety-Related Systems. In: Redmill, F. and Anderson, Tom, eds. Proceedings of 3rd Safety-Critical Systems Symposium. . Springer-Verlag (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)

Hatton, Leslie (1998) Does OO sync with the way we think? IEEE Software, 15 (3). pp. 46-54. ISSN 0740-7459.
 Preview

 Hatton, Leslie (2000) Embedded control systems: risks and challenges. 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)

 Hatton, Leslie (2000) Embedded software testing. In: The European Software Testing (TEST) Congress 2000, London. . , London (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)

 Hatton, Leslie (2001) Exploring the role of diagnosis in software failure. IEEE Software, 18 (4). pp. 34-39. ISSN 0740-7459. (doi:10.1109/MS.2001.936215) (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)

 Hatton, Leslie (1998) Improvisation and ear-training for guitarists. In preparation (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)

 Hatton, Leslie (1996) Is modularisation always a good idea. International Software Technology, 38 . (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)

 Hatton, Leslie (2001) Keynote Paper in ESCOM 2001. In: Software defects: how do we satisfy customers in the long term? . , London (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)

 Hatton, Leslie (2001) Keynote Paper in ITiCSE Conference. In: Computer Science Education or Computer Fashion Awareness? . (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)

 Hatton, Leslie (1996) Keynote paper at WoCo7. 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)

 Hatton, Leslie (1997) Keynote paper in COMPASS'97. In: Conference on Computer Software Assurance and Safety. . , Washington, DC. (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)

 Hatton, Leslie (1997) Keynote paper in ESSE-SCOPE'97. In: European Conference on Software Process Improvement. . , Dublin (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)

 Hatton, Leslie (1996) Keynote paper in EUROSTAR'96. In: Conference on Software Testing, Analysis and Review. . , Amsterdam (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)

 Hatton, Leslie (1998) Keynote paper in ISTCS'98. In: Conference on Computer Software Testing. . , Washington, DC. (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)

 Hatton, Leslie (1996) Keynote paper in STAR'96. In: Conference on Software Testing, Analysis and Review. . , Orlando, Florida (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)

 Hatton, Leslie (2002) Memorability and Invisibility: A tale of two alarm clocks and other stories from the front line. In: Memorability and Invisibility: a tale of two alarm clocks and other stories from the front line. . , London (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)

Hatton, Leslie (1997) N-version Design vs. One Good Version. IEEE Software, 14 (6). pp. 71-76. ISSN 0740-7459. (doi:10.1109/52.636672)
 Preview

 Hatton, Leslie (1999) Paradigm Shift or Measurement Based Feedback? In: JACC'99, Annual Conference of Joint Association of C and C++ users. . , Oxford, UK (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)

 Hatton, Leslie (2002) The Power of Modern Testing: but do we use it ? In: The Power of Modern Testing. . , Anaheim, USA (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)

 Hatton, Leslie (1998) Programming technology, reliability, safety and measurement. IEE Computing and Control Engineering Journal, 9 (1). pp. 23-27. ISSN 0956-3385. (doi:10.1049/cce:19980105) (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)

 Hatton, Leslie (1997) Re-examining the fault density - component size connection. IEE Software, 14 (2). pp. 89-97. ISSN 0740-7459. (doi:10.1109/52.582978) (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)

 Hatton, Leslie (1999) Repetitive failure, feedback and diagnosis. In: JUSE'99, Conference of Japanese Union of Scientists and Engineers. . , City University, UK (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)

 Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. Journal of Systems and Software, 47 (2-3). pp. 183-188. ISSN 0164-1212. (doi:10.1016/S0164-1212(99)00038-2) (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)

 Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. In: European Conference on Optimising Software Development and Maintenance (ESCOM'99). . , Herstmonceux, UK (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)

 Hatton, Leslie (1995) Safer C: Developing for High-Integrity and Safety-Critical Systems. McGraw-Hill ISBN 0-07-707640-0. (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)

 Hatton, Leslie (2000) Safer language subsets: issues in developing reliable and fast software. 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)

 Hatton, Leslie (1998) Software Failure: avoiding the avoidable and living with the rest. Addison Wesley ISBN 978-0-201-39838-0. (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)

 Hatton, Leslie (1996) Software Faults: the avoidable and the unavoidable: lessons from real systems. In: Proceedings of Product Assurance Workshop, ESA SP-377. . European Space Agency, Noordwijk, The Netherlands (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)

Hatton, Leslie (2000) Software failure: living with a wobbly technology. University of Kent.
 Preview

 Hatton, Leslie (1997) Software failures - follies and fallacies. IEE Review, 43 (2). pp. 49-54. ISSN 0013-5127. (doi:10.1049/ir:19970201) (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)

 Hatton, Leslie (2002) Static Analysis. In: van Veenendaal, Erik, ed. The Testing Practitioner. UTN Publishers. ISBN 90-72194-65-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)

Hatton, Leslie (1997) The T experiments: errors in scientific software. IEE Computational Science & Engineering (doi:10.1109/99.609829)
 Preview

 Hatton, Leslie (1997) The T-experiments in Quality of Numerical Software, Assessment and Enhancement. In: Boisvert, R.F, ed. Quality of numerical software, assessment and enhancement. Chapman and Hall, London, pp. 12-31. ISBN 0-412-80530-8, 978-0-412-80530-1. (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)

 Hatton, Leslie (2000) Testing Embedded C Programs. 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)

 Hatton, Leslie (1999) Testing is not a phase. In: STAR'99: US Conference on Software Testing, Analysis and Review. . , Orlando, Florida, USA (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)

 Hatton, Leslie (1999) Testing: the influence of complexity, coupling, diagnosis and repetitive failure. In: EuroStar'99, European Conference on Software Testing, Analysis and Review. . , Barcelona, Spain (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)

 Hatton, Leslie (1999) Towards a consistent legal framework for understanding software systems behaviour. Other masters thesis, 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)

 Hatton, Leslie (1997) Unexpected (and sometimes unpleasant) lessons from data in real software systems. In: Proceedings of 12th annual CSR workshop, Bruges,. Springer-Verlag. (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)

 Hatton, Leslie (2000) Why is Linux so reliable? In: UNSPECIFIED, San Jose, 2000, ASM 2000 Software Metrics Conference. (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)

 Hatton, Leslie (1997) The Year 2000: How much should we worry? Eurostar'97, Edinburgh, . (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)

 Hatton, Leslie (2002) eRisk and eBenefit: the eConomics of software testing. In: Quantifying Test Value. . , Edinburgh (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)

 Hatton, Leslie (2001) A long hard look at the influence of software defects on scientific software. In: Los Alamos National Laboratory, 15 February 2001, USA. (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)

 Hatton, Leslie, Hennell, M. (2000) Balancing static and dynamic testing for embedded control systems. In: Proceedings of 2nd World Congress on software quality. . , Yokohama (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)

 Hatton, Leslie and Hewlett, C.J.M. (1995) The Tardis Project: Seismic Data Compression with CD Archival: Phase 1 - Feasibility. 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)

 Hatton, Leslie, Roberts, Andy (1994) How Accurate is Scientific Software? IEEE Transactions on Software Engineering, 20 (10). pp. 785-797. (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)

 Hausmann, J.H., Kent, Stuart (2003) Visualizing Model Mappings in UML. In: Proceedings of the ACM Symposium on Software Visualization. 2003. pp. 169-178. ISBN 1-58113-642-0. (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)

Hopkins, Tim (2008) The Collected Algorithms of the ACM. Technical report. UKC, Canterbury, Kent, UK
 Preview

Hopkins, Tim (2002) A Comment on the Presentation and Testing of CALGO Codes and a Remark on Algorithm 639: To Integrate Some Infinite Oscillating Tails. ACM Transactions on Mathematical Software, 28 (3). pp. 285-300. ISSN 0098-3500. (doi:10.1145/569147.569148)
 Preview
 Preview

Hopkins, Tim (1997) Is the Quality of Numerical Subroutine Code Improving? Technical report. University of Kent, University of Kent, Canterbury, UK
 Preview
 Preview

 Hopkins, Tim (1990) NAG Spline Fitting Routines on a Graphics Workstation -- The Story so far. Technical report. UKC, University of Kent, Canterbury, UK (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)

Hopkins, Tim (1997) New Implementations of the Spectral Test. Technical report. University of Kent
 Preview

 Hopkins, Tim (2003) Remark on Algorithm 769: Fortran Subroutines for Approximate Solution of Sparse Quadratic Assignment Problems using GRASP. ACM Transactions on Mathematical Software, 29 (3). pp. 349-351. ISSN 0098-3500. (doi:10.1145/838250.838258) (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)

Hopkins, Tim (2002) Remark on algorithm 705: A Fortran-77 software package for solving the Sylvester matrix equation AXBT + CXDT = E. ACM Transactions on Mathematical Software, 28 (3). pp. 372-375. ISSN 0098-3500. (doi:10.1145/569147.569153)
 Preview
 Preview

Hopkins, Tim (2002) Renovating the Collected Algorithms from ACM. ACM Transactions on Mathematical Software, 28 (1). pp. 59-74. ISSN 0098-3500. (doi:10.1145/513001.513005)
 Preview
 Preview

Hopkins, Tim (1998) Restructuring the BLAS Level 1 Routine for Computing the Modified Givens Transformation. Technical report. , Canterbury, Kent, UK.
 Preview
 Preview

Hopkins, Tim (1997) Restructuring the BLAS Level-1 Routine for Computing the Modified Givens Transformation. ACM SIGNUM, 32 (4). pp. 2-14. ISSN 0163-5778. (doi:10.1145/289251.289253)
 Preview

 Hopkins, Tim, Barnes, David J. (2003) Testing a Medium Sized Numerical Package: A Case Study. 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)

Hopkins, Tim and Hatton, Leslie (2008) Defect patterns and structural properties in a mature well-specified software system. Technical report. UKC, Canterbury, Kent, UK
 Preview

 Hopkins, Tim, Kollerstrom, J., Welch, Peter H. (1983) Estimation of the Order of Dependence in Sequences. Applied Statistics-Journal of the Royal Statistical Society Series C, 32 (2). pp. 185-196. ISSN 0035-9254. (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)

Hopkins, Tim and Morse, David R. (1992) Cumulative Index to the ACM Algorithms. Technical report. , University of Kent, Canterbury, UK
 Preview
 Preview

Hopkins, Tim and Morse, David R. (1992) Cumulative Index to the Applied Statistics Algorithms. Technical report. , University of Kent, Canterbury, UK
 Preview
 Preview

Hopkins, Tim and Morse, David R. (1996) The Implementation and Visualisation of a Large Spatial Individual-Based Model using Fortran 90. Technical report. UKC, University of Kent, Canterbury, UK
 Preview
 Preview

Hopkins, Tim and Morse, David R. (1994) Remark on Applied Statistics Algorithm AS030 Half-Normal Plotting. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Hopkins, Tim and Morse, David R. (1994) Remark on Applied Statistics Algorithm AS057 Printing Multidimensional Tables. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Hopkins, Tim, Morse, David R. (1997) The implementation and visualization of a large spatial individual-based model using Fortran 90. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental Software Systems, Volume 2. 2. Chapman &amp; Hall, London
 Preview

Hopkins, Tim and Slater, John (1994) A Comment on the Eispack Machine Epsilon Routine. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

 Hopkins, Tim and Vowden, Barry J. (1990) Distributing Matrix Eigenvalue Calculations over Transputer Arrays. Technical report. UKC, University of Kent, Canterbury, UK (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)

 Hopkins, Tim and Welch, Peter H. (1989) Transputer Data-flow Solution for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (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)

Hopkins, Tim and da Cunha, Rudnei Dias (1994) The Parallel Iterative Methods (PIM) package for the solution of systems of linear equations on parallel computers. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Howse, John, Molina, Fernando, Taylor, John, Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). . pp. 138-145. IEEE Computer Society Press (doi:10.1109/VL.1999.795885)
 Preview

Howse, John, Molina, Fernando, Taylor, John, Kent, Stuart, Gil, Joseph (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X. (doi:10.1006/jvlc.2000.0210)
 Preview

## I

 Ibbetson, Alan L., Linington, Peter F., Penny, Ian, Smith, Abraham B., Tripp, Gerald (1995) A Parallel Implementation of the ANSA REX Protocol. In: Cook, Barry M. and Jane, M.R. and Nixon, Paddy and Welch, Peter H., eds. Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995. Concurrent Systems Engineering Series , 46. pp. 29-41. IOS Press ISBN 90-5199-235-1. (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)

 Induruwa, A.S., Linington, Peter F., Slater, John (1999) Quality of Service Measurements on SuperJANET - The UK Academic Information Highway. In: Proceedings of INET'99. . ISBN 1-891562-06-1. (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)

## J

Jacobsen, Christian L. and Dimmich, Damian J. and Jadud, Matthew C. (2006) Native Code Generation Using the Transterpreter. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 269-281. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0.
 Preview

 Jacobsen, Christian L., Jadud, Matthew C. (2007) Concurrency, Robotics, and RoboDeb. In: Proceedings of AAAI Robotics and Education. . American Association for Artificial Intelligence, Palo Alto, CA, USA (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)

Jacobsen, Christian L., Jadud, Matthew C. (2005) Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms. In: SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education. . pp. 431-435. ACM, New York, NY, USA ISBN 1-58113-997-7. (doi:10.1145/1047344.1047485)
 Preview

Jadud, Matthew C., Jacobsen, Christian L., Ritson, Carl G., Simpson, Jonathan (2008) Safe Parallelism for Behavioral Control. In: 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA). . pp. 137-142. IEEE ISBN 978-1-4244-2791-8.
 Preview

 Jadud, Matthew C., Simpson, Jonathan, Jacobsen, Christian L. (2008) Patterns for programming in parallel, pedagogically. In: SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education. . pp. 231-235. ACM, New York, NY, USA ISBN 978-1-59593-799-5. (doi:10.1145/1352135.1352219) (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)

Jittamas, Vorapol (2007) Using Policy to Control Data Synchronisation in Middleware for an Ad-hoc Mobile Network. Doctor of Philosophy (PhD) thesis, Computing Laboratory.
 Preview

 Jittamas, Vorapol and Linington, Peter F. (2006) Using a Policy Language to Control Tuple-space Synchronization in a Mobile Environment. In: Burgess, M. and Wijesekera, D., eds. Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06). International Workshop on Policies for Distributed Systems and Networks . IEEE, pp. 239-242. ISBN 0-7695-2598-9. (doi:10.1109/POLICY.2006.38) (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)

 Johnson, Peter, Cook, Steve J. (1985) People and Computers: Designing the Interface. In: Proceedings of HCI85: the Conference of the BCS Human Computer Interaction Specialist Group. . Cambridge University Press (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)

 Jones, Richard E. (2006) Editorial: Five Perspectives on Modern Memory Management: Systems, Hardware and Theory. Science of Computer Programming, 62 (2). pp. 95-97. ISSN 0167-6423. (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)

 Jones, Richard E. (1996) Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, 403 pp. ISBN 0-471-94148-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)

 Jones, Richard E. (1989) On the Implementation of Functional Programming Languages. Other masters thesis, UKC Computing Laboratory. (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)

 Jones, Richard E. (2000) Session 3: Overview. In: Kirby, G.N.C. and Dearle, A. and Sjoberg, D.I.K., eds. Persistent Object Systems: Design, Implementation, and Use 9th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 84-86. ISBN 978-3-540-42735-3. E-ISBN 978-3-540-45498-4. (doi:10.1007/3-540-45498-5_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)

 Jones, Richard E. (1990) Tail Recursion Without Space Leaks. Technical report. UKC, University of Kent, Canterbury, UK 72*. (doi:72*) (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)

 Jones, Richard E. (1992) Tail recursion without Space Leaks. Journal of Functional Programming, 2 (1). pp. 73-79. ISSN 0956--7968. (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)

 Jones, Richard E. (1993) Zed --- a Z specification language Type 1 font. 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)

 Jones, Richard E. (1995) Zed --- a Z specification language font for PostScript Type 1 and TrueType. 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)

Jones, Richard E., Blackburn, Steve (2008) International Symposium on Memory Management (ISMM 2008) summary. ACM SIGPLAN Notices, 43 (8). pp. 12-14. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/1416216.1416220)
 Preview

 Jones, Richard E. and Jul, Eric (1999) Garbage Collection. 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)

 Jones, Richard E. and Jul, Eric (2000) Introduction to Memory Management and Garbage Collection. ACM SIGPLAN. (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)

Jones, Richard E., King, A.C. (2005) A fast analysis for thread-local garbage collection with dynamic class loading. In: Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005. . pp. 129-138. IEEE Computer Society ISBN 978-0-7695-2292-0. (doi:10.1109/SCAM.2005.1)
 Preview

Jones, Richard E. and King, Andy C. (2004) Collecting the garbage without blocking the traffic. Technical report. University of Kent
 Preview

 Jones, Richard E. and Lins, Rafael D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK 28-92*. (doi:28-92*) (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)

 Jones, Richard E. and Lins, Rafael D. (1993) Cyclic Weighted Reference Counting without Delay. In: PARLE '93 Parallel Architectures and Languages Europe 5th International PARLE Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 712-715. ISBN 978-3-540-56891-9. E-ISBN 978-3-540-47779-2. (doi:10.1007/3-540-56891-3_66) (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)

Jones, Richard E., Ryder, Chris (2006) Garbage Collection Should Be Lifetime Aware. In: Zendra, Olivier, ed. Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006). .
 Preview

Jones, Richard E., Ryder, Chris (2008) A Study of Java Demographics. In: Blackburn, Steve, ed. Proceedings of the 2008 International Symposium on Memory Management (ISMM'08). . pp. 121-130. ACM Press, Tucson, AZ ISBN 978-1-60558-134-7.
 Preview

## K

 Kelner, J., Cavalcanti, Ana L. C., Pardo, A. (1989) LindA: A Language for Automated Authoring of Hypertexts. In: 3rd Brazilian Symposium on Sofrware Engineering. . pp. 124-136. (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)

 Kent, Stuart (1993) An Axiomatic Semantics for VDM++: OO Aspects. Technical report. Imperial College of Science, Technology and Medicine, London (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)

Kent, Stuart (1997) Constraint Diagrams: Visualizing Assertions in OO Modelling. Technical report. University of Brighton
 Preview

Kent, Stuart (1997) Constraint Diagrams: Visualizing Invariants in OO Modelling. ACM SIGPLAN Notices, 32 (10). pp. 327-341. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/263700.263756)
 Preview

 Kent, Stuart (1991) A Deduction Calculus for Modal Action Logic with Action Combinators. In: FOREST Research Deliverable Report WP3.R2. Not known, Department of Computing, Imperial College of Science, Technology and Medicine, London. (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)

 Kent, Stuart (2002) Model Driven Engineering. In: Michael, J.Butler and Kaisa, Sere and Luigia, Petre, eds. Integrated Formal Methods Third International Conference. Lecture Notes In Computer Science, 2335 . Springer, Berlin, Germany, pp. 286-298. ISBN 978-3-540-43703-1. E-ISBN 978-3-540-47884-3. (doi:10.1007/3-540-47884-1_16) (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)

 Kent, Stuart (1993) Modelling Events from Natural Language. Doctor of Philosophy (PhD) thesis, Department of Computing, Imperial College of Science, Technology and Medicine. (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)

Kent, Stuart (1993) Towards a Modal Logic of Durative Actions. In: Proceedings of the first Imperial College Dept. of Computing Theory &amp; Formal Methods Section Workshop. . pp. 183-194. Springer Verlag
 Preview

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.
 Preview

Kent, Stuart and Evans, Andy and Rumpe, Bernhard (1999) UML Semantics FAQ. In: Moreira, Ana, ed. Object-Oriented Technology ECOOP’99 Workshop Reader. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 33-56. ISBN 978-3-540-66954-8. E-ISBN 978-3-540-46589-8. (doi:10.1007/3-540-46589-8_3)
 Preview

Kent, Stuart and Gaito, S. and Ross, N. (1999) A Meta-model Semantics for Structural Constraints in UML. In: Kilov, Haim and Rumpe, Bernhard and Simmonds, Ian, eds. Behavioral specifications for businesses and systems. Kluwer Academic Publishers, Norwell, MA, pp. 123-141.
 Preview

Kent, Stuart, Gil, Y. (1998) Visualising Action Contracts in OO Modelling. In: IEE Proceedings: Software. 145 , 145 (2-3). pp. 70-78.
 Preview

Kent, Stuart, Hamie, Ali, Howse, John, Civello, Franco, Mitchell, Richard (1997) Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. In: Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques. Technical Report TUM-I9725 . University of Munich
 Preview

Kent, Stuart, Hamie, Ali, Howse, John, Civello, Franco, Mitchell, Richard (1997) Semantics through Pictures. In: ECOOP'97 Workshop Reader. LNCS , 1357. pp. 182-187. Springer Verlag ISBN 3-540-64039-8.
 Preview

 Kent, Stuart and Howse, John (2002) Constraint Trees. In: Clark, Anthony and Warmer, Jos, eds. Object Modeling with the OCL. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 427-430. ISBN 978-3-540-43169-5. E-ISBN 978-3-540-45669-8. (doi:10.1007/3-540-45669-4_12) (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)

Kent, Stuart, Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: Proceedings of UML'99. . IEEE Computer Society Press
 Preview

Kent, Stuart, Howse, John (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). . pp. 145-160. Prentice Hall
 Preview

Kent, Stuart, Howse, John, Lauder, Anthony (1998) Modelling Components. In: Proceedings: International Workshop on Large-Scale Software Composition at DEXA98. . IEEE Press
 Preview

Kent, Stuart, Lano, Kevin, Bicarregui, Juan, Hamie, Ali, Howse, John (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. Technical Report TUM-I9737 . University of Munich
 Preview

 Kent, Stuart and Lauder, Anthony (2001) Statecharts for Business Process Modeling. In: Sharp, Bernadette and Filipe, Joaquim and Cordeiro, Jose, eds. Enterprise Information Systems II: 2nd International Conference on Enterprise Information Systems (ICEIS). Kluwer Academic Publishers, Dordrecht, p. 121. ISBN 978-0-7923-7177-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)

 Kent, Stuart and Mailbaum, T. and Quirk, W. (1992) Specifying Deontic Behaviour in Modal Action Logic. In: FOREST Research Deliverable Report WP1.R2. Imperial College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (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)

 Kent, Stuart and Mailbaum, T.S.E. and Quirk, W. (1993) Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE, pp. 208-215. ISBN 0-8186-3120-1. (doi:10.1109/ISRE.1993.324856) (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)

Kent, Stuart, Maung, Ian (1995) Encapsulation and Aggregation. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). . pp. 227-238. Prentice Hall
 Preview

Kent, Stuart, Maung, Ian (1995) Quantified Assertions in Eiffel. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). . pp. 349-364. Prentice Hall
 Preview

Kent, Stuart, Pitt, J.V. (1996) Feature-based and Model-based Semantics for English, French and German Verb Phrases. Language Sciences, 18 (1-2). pp. 339-362. ISSN 0388-0001.
 Preview

 Kent, Stuart, Smith, Robert P. (2003) The Bidirectional Mapping Problem. Electronic Notes in Theoretical Computer Science, 82 (7). pp. 1-15. ISSN 1571-0661. (doi:10.1016/S1571-0661(04)80753-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)

 Kilov, H., Linington, Peter F., Miller, J., Raymond, Kerry, Wood, B. (1997) Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language. In: Kilov, Haim and Rumpe, Bernhard and Simmonds, Ian, eds. Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics. TUM-I9737 . pp. 115-118. (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)

King, Andrew C. (2002) Removing GC Synchronisation. In: OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion)R. SIGPLAN . pp. 112-113. ACM, Seattle, WA ISBN 1-58113-626-9.
 Preview

 King, Andrew C. (2003) Removing GC Synchronisation (extended version). Technical report. University of 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)

King, Andrew C. (2004) Removing Garbage Collector Synchronisation. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.
 Preview

 Kleppe, Anneke, Warmer, Jos, Cook, Steve J. (1998) Formality: The Object Constraint Language and its Application in the UML Metamodel. In: Bezivin, Jean and Muller, Pierre-Alain, eds. UML98 Conference Proceedings. Lecture Notes in Computer Science , 1618. pp. 148-161. Springer-Verlag ISBN 3-540-66252-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)

 Köllmann, Carsten, Kutvonen, Lea, Linington, Peter F., Solberg, Arnor (2007) An Aspect-oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development. In: Pires, L.Ferreira and Hammoudi, S., eds. Model-Driven Enterprise Information Systems Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - MDEIS 2007 Funchal, Portugal. . pp. 85-94. INSTICC Press, Portugal ISBN 978-989-8111-00-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)

## L

 Lahoz, C.H.N., Abdala, M.A.D., Moura, C.A.T., de Lemos, Rogério (2000) Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X (in Portuguese). In: Proceedings of the Symposium on Safety and Security of Information Systems. . pp. 49-58. (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)

Lano, Kevin, Bicarregui, Juan, Kent, Stuart (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. . Linz, Austria
 Preview
 Preview

 Lano, Kevin, Goldsack, Stephen J., Bicarregui, Juan, Kent, Stuart (1997) Integrating VDM++ and Real-time System Design. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. Lecture Notes In Computer Science , 1212. pp. 188-219. LNCS, Springer-Verlag ISBN 3-540-62717-0. (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)

Lauder, Anthony (2001) A Productive Response to Legacy Systems. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury.
 Preview

Lauder, Anthony and Kent, Stuart (1999) EventPorts: Preventing Legacy Componentware. In: Proceedings Third International Enterprise Distributed Object Computing. IEEE, pp. 224-232. ISBN 0-7803-5784-1. (doi:10.1109/EDOC.1999.792066)
 Preview

Lauder, Anthony and Kent, Stuart (2000) Legacy System Anti-Patterns and a Pattern-Oriented Migration Response. In: Henderson, Philip J., ed. Systems Engineering for Business Process Change. Springer Verlag.
 Preview

 Lauder, Anthony, Kent, Stuart (2003) More Legacy System Patterns. In: Henderson, Philip J., ed. Systems Engineering for Business Process Change - New Directions. . pp. 225-240. Springer-Verlag, England ISBN 978-1-85233-399-7. (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)

Lauder, Anthony, Kent, Stuart (1998) Precise Visual Specification of Design Patterms. In: Proceedings of ECOOP98. 1445. pp. 114-134. Springer Verlag ISBN 3-540-64737-6.
 Preview

 Lauder, Anthony, Kent, Stuart (2000) Statecharts for Business Process Modeling. In: Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000). . (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)

Lauder, Anthony, Kent, Stuart (1999) Two-Level Modeling. In: Proceedings of TOOLS Asia 99. . p. 108. IEEE Computer Society Press (doi:10.1109/TOOLS.1999.796473)
 Preview

 Lehane, Andrew, Tripp, Gerald (2007) Detecting Suspicious Intrusions into Next-Generation Networks. Agilent Measurement Journal, (Issue). pp. 58-63. (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)

 Lindsey, Donna, Linington, Peter F. (1996) RIVUS: A Stream Template Language for Capturing Multimedia Requirements. In: Hutchison, D. and Christiansen, H. and Coulson, G. and Danthine, A., eds. Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop). Lecture Notes in Computer Science , 1052. pp. 259-277. Springer-Verlag ISBN 3-540-61028-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)

Linington, Peter F. (2005) Automating Support for E-Business Contracts. International Journal of Cooperative Information Systems, 14 (2/3). pp. 77-98. ISSN 0218-8430.
 Preview

Linington, Peter F. (2004) Automating Support for e-Business Contracts. In: Milosevic, Zoran and Governatori, Guido, eds. Contract Architectures and Languages workshop (CoALa2004). . IEEE Digital Library, Monterey, California, USA
 Preview

Linington, Peter F. (2007) Black Cats and Yellow Birds - What do Viewpoint Correspondences Do? In: Almeida, J.P.A. and Linington, Peter F. and Vallecillo, Antonio and Wood, B., eds. Workshop on ODP for Enterprise Computing (WODPEC2007). . IEEE Digital Library
 Preview

 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)

 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)

 Linington, Peter F. (2004) Model Driven Development and Non-functional Aspects. In: WMDD 2004 Workshop, ECOOP 2004. . , Oslo, Norway (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)

 Linington, Peter F. (1999) An ODP Approach to the Development of Large Middleware Systems. In: Kutvonen, Lea and Konig, H. and Tienari, M., eds. Distributed Applications and Interoperable Systems II IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems. IFIP - The International Federation for Information Processing, 15 . Springer, Boston, Massachusetts, USA, pp. 61-74. ISBN 978-1-4757-5008-9. E-ISBN 978-0-387-35565-8. (doi:10.1007/978-0-387-35565-8_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)

 Linington, Peter F. (1999) Options for expressing ODP Enterprise Communities and their Policies by using UML. In: Proceedings Third International Enterprise Distributed Object Computing. IEEE, pp. 72-82. ISBN 0-7803-5784-1. (doi:10.1109/EDOC.1999.792051) (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)

 Linington, Peter F. (2006) Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract. In: Almeida, J.P.A. and Linington, Peter F. and Tanaka, Akira and Wood, B., eds. 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06). IEEE, p. 37. ISBN 0-7695-2743-4. (doi:10.1109/EDOCW.2006.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)

 Linington, Peter F. (1999) RISCSIM - A Simulator for Object-based Systems. In: Fourth National Conference of the UK Simulation Society, April 7th-9th, 1999. UK Simulation Society, pp. 141-147. ISBN 0-905488-38-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)

 Linington, Peter F. (1995) RM-ODP: The Architecture. In: Raymond, Kerry and Armstrong, Elizabeth, eds. Open Distributed Processing: Experience with Distributed Environments. . pp. 15-33. Chapman and Hall ISBN 0-412-71150-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)

 Linington, Peter F. (2004) The Role of Contracts in Establishing Interoperability of Enterprise Systems. In: INTEREST 2004 Workshop, ECOOP 2004. . , Oslo, Norway (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)

Linington, Peter F. (2004) What Foundations does the RM-ODP need? In: Vallecillo, Antonio and Linington, Peter F. and Wood, B.M., eds. Workshop on ODP for Enterprise Computing (WODPEC 2004). . pp. 15-22. IEEE Digital Library, Monterey, California, USA
 Preview

 Linington, Peter F. (2003) A policy-based model-driven security framework. In: Ururahy, C. and Sztajnberg, A. and Cerqueira, R., eds. Middleware 2003 Companion:Workshop Proceedings. . pp. 273-276. Pontificia Universidade Caolica do Rio de Janeiro ISBN 85-87926-03-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)

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 &amp; Hall, Darmstadt, Germany
 Preview
 Preview

 Linington, Peter F., Frank, W.F. (2001) Specification and Implementation in ODP. In: Cordeiro, Jose and Kilov, Haim, eds. Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation. . pp. 69-80. ICEIS Press, Setubal, Portugal ISBN 972-98050-5-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)

Linington, Peter F. and Liyanagama, Pulitha (2007) Incorporating Security Behaviour into Business Models Using a Model Driven Approach. In: 11th IEEE International Enterprise Distributed Object Computing Conference. IEEE, pp. 405-415. ISBN 978-0-7695-2891-5. (doi:10.1109/EDOC.2007.16)
 Preview

 Linington, Peter F., Milosevic, Zoran, Cole, James, Gibson, Simon, Kulkarni, Sachin, Neal, Stephen (2004) A unified behavioural model and a contract language for extended enterprise. Data and Knowledge Engineering, 51 (1). pp. 5-29. ISSN 0169-023X. (doi:10.1016/j.datak.2004.03.005) (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)

 Linington, Peter F. and Milosevic, Zoran and Raymond, Kerry (1998) Policies in Communities: Extending the Enterprise Viewpoint. In: Proceedings Second International Enterprise Distributed Object Computing. IEEE, pp. 14-24. ISBN 0-7803-5158-4. (doi:10.1109/EDOC.1998.723238) (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)

 Linington, Peter F. and Neal, Stephen (2003) Using Policies in the Checking of Business to Business Contracts. In: Lutfiyya, H. and Moffat, J. and Garcia, F., eds. Proceedings POLICY 2003: IEEE 4th International Workshop on Policies for Distributed Systems and Networks. IEEE, pp. 207-218. ISBN 0-7695-1933-4. (doi:10.1109/POLICY.2003.1206975) (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)

 Linington, Peter F., Tripp, Gerald (2000) Two-point ATM Switching System Measurements. In: Kouvatsos, D.D., ed. Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000). . Networks UK ISBN 0-9540151-1-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)

 Lins, Rafael D. and Jones, Richard E. (1991) Cyclic Weighted Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (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)

 Lins, Rafael D., Jones, Richard E. (1993) Cyclic Weighted Reference Counting. In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria. . pp. 369-382. (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)

Lins, Rafael D., Thompson, Simon, Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:10.1017/S0956796800000939)
 Preview
 Preview

 Lopez, Gabriel, Canovas, Oscar, Gomez-Skarmeta, Antonio F., Otenko, Sassa, Chadwick, David W. (2005) A Heterogeneous Network Access Service based on PERMIS and SAML. In: 2nd EuroPKI Workshop, 30 June - 1 July 2005, Canterbury, United Kingdom. (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)

## M

 Mander, Keith C. (2001) The Decline and Fall of the American Programmer? Communications of the ACM, 44 (7). pp. 43-44. ISSN 0001-0782. (doi:10.1145/379300.379309) (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)

 Mander, Keith C., Polack, Fiona A.C. (1995) Rigorous Specification using Structured Systems Analysis and Z. Information and Software Technology, 37 (5-6). pp. 285-291. (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)

 Mander, Keith C., Polack, Fiona A.C., Whiston, Mark (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. . , Warwick (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)

 Mander, Keith C., Polack, Fiona A.C., Whiston, Mark (1993) The SAZ Method: Version 1.0. In: YCS 207. . , University of York (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)

 Mander, Keith C., Polack, Fiona A.C., Whiston, Mark (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. . pp. 355-362. (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)

 Mander, Keith C., Powell, Anthony L., Brown, Duncan S. (1998) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. In: Proceedings Process Modelling and Simulation 98 (ProSim'98). . , Silver Falls, Oregon (doi:10.1016/S0164-1212(99)00008-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)

Marion, Sebastien, Jones, Richard E., Ryder, Chris (2007) Decrypting The Java Gene Pool: Predicting Objects' Lifetimes with Micro-patterns. In: ISMM'07: Proceedings of the 2007 International Symposium on Memory Management. Proceedings of the 2007 International Symposium on Memory Management (ISMM'07). . pp. 67-78. ACM, Montreal, Canada ISBN 978-1-59593-893-0. (doi:10.1145/1296907.1296918)
 Preview

 McCann, Julie A., de Lemos, Rogério, Huebscher, Markus, Rana, Omer F., Wombacher, Andreas (2006) Can Self-Managed Systems be Trusted? Some Views and Trends. Knowledge Engineering Review, 21 (3). pp. 239-248. ISSN 0269-8889. (doi:10.1017/S0269888906000853) (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)

 Meira, SRL and Cavalcanti, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (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)

 Meira, Silvio Lemos, Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Nicholls, JE, ed. Z User Workshop. . pp. 173-192. Springer-Verlag, Oxford, UK (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)

 Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, Cåssio Souza (1994) The Unix Filing System: A MooZ Specification. In: Lano, Kevin and Haughton, Howard, eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. (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)

 Meneses, L.C.S., Soares, S., Meneses, J.B., Moura, Hermano, Cavalcanti, Ana L. C. (2000) A Framework for Defining Object-oriented Languages using Action Semantics. In: 4th Brazilian Symposium on Programming Languages. . pp. 172-185. (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)

 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)

 Milosevic, Zoran, Gibson, Simon, Linington, Peter F., Cole, James, Kulkarni, Sachin (2004) On design and implementation of a contract monitoring facility. In: Benatallah, Boualem and Godart, Claude and Shan, Ming-Chien, eds. Proceedings of WEC, First IEEE International Workshop on Electronic. . pp. 62-70. IEEE Computer Society, Washington, DC, USA ISBN 0-7695-2184-3. (doi:10.1109/WEC.2004.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)

 Milosevic, Zoran and Linington, Peter F. and Gibson, Simon and Kulkarni, Sachin and Cole, James (2004) Inter-Organisational Collaborations Supported by E-Contracts. In: Lamersdorf, Winfried and Tschammer, Volker and Amarger, Stephane, eds. Building the E-Service Society: E-Commerce, E-Business, and E-Government. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 413-429. ISBN 978-1-4020-8154-5. E-ISBN 978-1-4020-8155-2. (doi:10.1007/1-4020-8155-3_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)

Moreau, Luc, Dickman, Peter, Jones, Richard E. (2005) Birrell's Distributed Reference Listing Revisited. ACM Transactions on Programming Languages and Systems (TOPLAS), 27 (6). pp. 1-52. ISSN 0164-0925.
 Preview

## N

 Neal, Stephen and Cole, James and Linington, Peter F. and Milosevic, Zoran and Gibson, Simon and Kulkarni, Sachin (2003) Identifying requirements for Business Contract language: A monitoring perspective. In: Steen, Maarten and Bryant, B.R., eds. Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings. IEEE, pp. 50-61. ISBN 0-7695-1994-6. (doi:10.1109/EDOC.2003.1233837) (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)

 Neal, Stephen, Linington, Peter F. (2001) Tool Support for Development Using Patterns. In: Lupu, Emil C. and Wegmann, A., eds. Proceedings of the fifth International Enterprise Distributed Object Computng Conference. . pp. 237-248. IEEE Computer Society, Seattle, Washingto, USA ISBN 0-7695-1345-X. (doi:10.1109/EDOC.2001.950443) (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)

 Nuka, Gift, Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: WMF2003: 6th Braziliam Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science , 95. pp. 209-225. Elsevier, Campina Grande, Brazil (doi:10.1016/j.entcs.2004.04.013) (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)

## O

 Octavian, Patrascoiu, Nicolae, Mitroi, Gheorghe, Marian (1994) C Language. Microcomputer Service Press (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)

 Oliveira, B., Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) Automation of a Normal Form Reduction Strategy for Object-oriented Programming. In: Proceedings of the 5th Brazilian Workshop on Formal Methods. . (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)

Oliveira, Marcel V. M. (2004) A Refinement Calculus for Circus - Mini-thesis. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK
 Preview

 Oliveira, Marcel V. M., Cavalcanti, Ana L. C., Woodcock, Jim (2003) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043. (doi:10.1007/s00165-003-0003-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)

 Oliveira, Marcel V. M., Cavalcanti, Ana L. C., Woodcock, Jim (2004) From Circus to JCSP. In: Sixth International Conference on Formal Engineering Methods. Lecture Notes in Computer Science series , 3308. pp. 320-340. Springer, Microsoft Res; Univ Oxford; UN Univ; Formal Methods Europe; NASA; ORA Canada ISBN 3-540-23841-7. (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)

Oliveira, Marcel V. M., Cavalcanti, Ana L. C., Woodcock, Jim (2004) Refining Industrial Scale Systems in Circus. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering Series , 62. pp. 281-309. IOS Press ISBN 1-58603-458-8.
 Preview

 Oliveira, Marcel V. M., Xavier, Manuela A., Cavalcanti, Ana L. C. (2004) Refine and Gabriel: Support for Refinement and Tactics. In: 2nd IEEE International Conference on Software Engineering and Formal Methods. . pp. 310-319. IEEE Computer Society Press ISBN 0-7695-2222-X. (doi:10.1109/SEFM.2004.1347535) (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)

 Oliver, Ian (1999) `Executing'' the OCL. In: Rashid, Awais and Parsons, David and Telea, Alexandru, eds. Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99). . (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)

Oliver, Ian and Kent, Stuart (1999) Validation of Object-Oriented Models using Animation. In: Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium. IEEE, pp. 237-242. ISBN 0-7695-0321-7. (doi:10.1109/EURMIC.1999.794786)
 Preview

Osbakk, Patrik (2007) A Privacy Enhancing Infrastructure for Context-Awareness. Doctor of Philosophy (PhD) thesis, University of Kent.
 Preview

 Owen, Gareth, Adda, Mo (2009) SOLS: Self Organising Distributed Location Server for Wireless Ad Hoc Networks. In: 9th International Symposium on Autonomous Decentralized Systems. . , Athens, Greece (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)

 Owen, Gareth, Adda, Mo (2009) SOLS: Self Organising Distributed Location Server for Wireless Ad Hoc Networks. International Journal of Computer Networks & Communications (IJCNC), 1 (1). pp. 17-30. ISSN 0974 9322. (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)

 Owen, Gareth, Adda, Mo (2008) Storing Data in Ad Hoc Networks. In: International Conference on Challenges in Higher Education and Research in the 21st Century. 6. Heron Press Sofia, Bulgaria ISBN 978-954-580-247-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)

## P

 Parish, D.J, Phillips, I.W, Coventry, P., Chia, L.T, Griffiths, J.W.R, Tagg, A.G, Shrimpton, David (1997) An architecture for a modular videoconferencing terminal supporting video cell loss. Electronics & Communication Engineering Journal, 9 (3). pp. 137-142. ISSN 0954-0695. (doi:10.1049/ecej:19970308) (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)

 Parker, H.E.D, Polack, Fiona A.C., Mander, Keith C. (1995) The Industrial Trial of SAZ: reflections on the use of an integrated specification method. In: Proceedings 7th International Conference on ''Putting into practice methods and tools for information systems design''. . , Universite de Nantes (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)

 Partsch, H.A. and Boiten, Eerke Albert (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: Möller, Bernhard, ed. Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications. Elsevier, New York, USA, pp. 71-89. ISBN 0-444-89184-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)

 Patrascoiu, Octavian (2000) DCGToProlog: A DCG to Prolog Translator. In: Proceedings of the International Symposium on System Theory (ISST-00). . , Craiova, Romania (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)

 Patrascoiu, Octavian (1998) An Extension of Prolog for UBG. In: Proceedings of the International Symposium on System Theory (ISST-98). . , Craiova, Romania (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)

 Patrascoiu, Octavian (1998) Implementing English Inflection. In: Proceedings of the International Symposium on System Theory (ISST-98). . , Craiova, Romania (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)

 Patrascoiu, Octavian (2001) Introduction to Programming Language Theory. Editura Rom TPT (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)

Patrascoiu, Octavian (2004) Mapping EDOC to Web Services using YATL. In: Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. IEEE, pp. 286-297. ISBN 0-7695-2214-9. (doi:10.1109/EDOC.2004.1342525)
 Preview

Patrascoiu, Octavian (2004) Model Transformations in YATL. Studies and Experiments. Technical report. University of Kent, Great Britain
 Preview

 Patrascoiu, Octavian (2000) Object Oriented Metrics. In: Proceedings of the International Symposium on System Theory (ISST-00). . , Craiova, Romania (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)

Patrascoiu, Octavian (2004) YATL: Yet Another Transformation Language - Reference Manual Version 1.0. Technical report. University of Kent, Great Britain
 Preview

Patrascoiu, Octavian (2004) YATL:Yet Another Transformation Language. In: Thechnical Report- University of Kent at Canterbury Computing Labratory. issue. pp. 83-90.
 Preview

 Patrascoiu, Octavian, Marian, Gheorghe (2000) Compiler Construction. Editura Rom TPT (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)

 Patrascoiu, Octavian, Mitroi, Nicolae, Marian, Gheorghe (1995) Graphs and Combinatorics. Algorithms and Programs. All Press (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)

Patrascoiu, Octavian, Rodgers, Peter (2004) Embedding OCL Expressions in YATL. In: Proceedings of the "OCL and Model Driven Engineering" wokshop, UML'04. .
 Preview

 Pediaditakis, Michael, Shrimpton, David (2003) Device neutral pipelined processing of XML documents. In: Proceedings of the Twelfth International World Wide Web Conference. Conference Series of the International World Wide Web Conference Committee . (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)

 Pediaditakis, Michael, Shrimpton, David (2003) Device-neutral pipelined processing of XML documents. InterChange, 9 (4). pp. 33-36. ISSN 1463-662X. (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)

 Pediaditakis, Michael, Shrimpton, David (2004) Towards a Generic XML Content Presentation Model. In: W3C Workshop on Web Applications and Compound Documents. . (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)

 Pfleeger, S., Hatton, Leslie (1997) Do Formal Methods Really Work. In: IEE Computer. . (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)

 Pfleeger, S., Hatton, Leslie, Howell, C. (2001) Solid Software. Software Quality Institute . Prentice-Hall, New Jersey, 336 pp. ISBN 0-13-091298-0. (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)

Polack, Fiona A.C., Andrews, Paul S., Sampson, Adam T. (2009) The engineering of concurrent simulations of complex systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). . pp. 217-224. IEEE Press ISBN 978-1-4244-2959-2.
 Preview

Polack, Fiona A.C., Hoverd, Tim, Sampson, Adam T., Stepney, Susan, Timmis, Jon (2008) Complex systems models: engineering simulations. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. . pp. 482-489. MIT Press, Cambridge, MA, USA ISBN 978-0-262-75017-2.
 Preview

 Polack, Fiona A.C., Mander, Keith C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. . pp. 230-249. Springer-Verlag (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)

Polack, Fiona A.C., Stepney, Susan, Turner, Heather, Welch, Peter H., Barnes, Frederick R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Capcarrere, Mathieu S. and Freitas, Alex A. and Bentley, Peter J. and Johnson, Colin G. and Timmis, Jon, eds. Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). Lecture Notes in Computer Science , 3630. pp. 427-436. Springer, Canterbury, UK ISBN 3-540-28848-1.
 Preview

 Powell, Anthony L., Mander, Keith C., Brown, Duncan S. (1999) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. Journal of Systems and Software, 46 . pp. 151-161. (doi:10.1016/S0164-1212(99)00008-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)

Printezis, Tony, Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. In: Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications. SIGPLAN Notices . pp. 343-358. ACM Press, Seattle, WA. ISBN 1581124711. (doi:10.1145/582419.582451)
 Preview

Printezis, Tony and Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. Technical report. Computing Laboratory, UKC, Canterbury 1426. (doi:1426)
 Preview
 Preview

## Q

Quig, Bruce and Kölling, Michael and Rosenberg, John and Steele, Phillip (2005) Interactive Visualisation and Testing of Jini Services. In: Fifth International Conference on Quality Software (QSIC'05). International Conference on Quality Software . IEEE, pp. 458-463. ISBN 0-7695-2472-9. (doi:10.1109/QSIC.2005.37)
 Preview

 Quig, Bruce and Rosenberg, John and Kölling, Michael (2003) Supporting Interactive Invocation of Remote Services within an Integrated Programming Environment. In: Proceedings of the 2nd international conference on Principles and practice of programming in Java. ACM International Conference Proceeding Series . Computer Science Press, New York, New York, USA, pp. 195-200. ISBN 0-9544145-1-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)

## R

 Ramalho, Geber L., Barros, Flavia, Cavalcante, Sergio, Cavalcanti, Ana L. C. (1999) Cyber Rally: An Experience of Democratic Use of the Internet. In: 8th International Conference on Human-Computer Interaction: Communication, Cooperation, and Application Design, 22-26 August 1999, Munich, Germany. (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)

Ritson, Carl G., Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering Volume 65 , 65. pp. 323-338. IOS Press, Amsterdam, The Netherlands ISBN 978-1-58603-767-3.
 Preview

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2009) Multicore Scheduling for Lightweight Communicating Processes. In: Field, John and Vasconcelos, Vasco Thudichum, eds. Coordination Models and Languages 11th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 163-183. ISBN 978-3-642-02052-0. E-ISBN 978-3-642-02053-7. (doi:10.1007/978-3-642-02053-7_9)
 Preview

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 311-329. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0.
 Preview

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 293-307. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-293)
 Preview

Ritson, Carl G. and Welch, Peter H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series . IOS Press, Amsterdam, Netherlands, pp. 249-266. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6.
 Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) Call Management in the Open Distributed Office. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) Integration of location services in the Open Distributed Office. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) The ODO project: a Case Study in Integration of Multimedia Services. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) VitKit: a Voice Interaction Toolkit. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
 Preview
 Preview

Rizzo, Mike and Utting, Ian (1994) An Agent-based Model for the Provision of Advanced Telecommunications Services. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK
 Preview
 Preview

Rizzo, Mike, Utting, Ian (1997) A Negotiating Agents Model for the Provision of Flexible Telephony Services. In: Proceedings ISADS 97 - Third International Symposium on Autonomous Decentralized Systems. . pp. 351-358. IEEE Computer Society Press ISBN 0-8186-7783-X.
 Preview
 Preview

 Rizzo, Mike, Utting, Ian, Linington, Peter F. (1997) Call management in the open distributed office. Electronics & Communication Engineering Journal, 9 (3). pp. 107-116. ISSN 0954-0695. (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)

Rodrigues, Helena C.C.D. and Jones, Richard E. (1997) Cyclic Distributed Garbage Collection with Group Merger. Technical report. University of Kent at Canterbury 17-97. (doi:17-97)
 Preview
 Preview

Rodrigues, Helena C.C.D., Jones, Richard E. (1998) Cyclic Distributed Garbage Collection with Group Merger. In: Jul, Eric, ed. Proceedings of 12th European Conference on Object-Oriented Programming, ECOOP98. Lecture Notes in Computer Science , 1445. pp. 249-273. Springer, Brussels ISBN 3-540-64737-6.
 Preview
 Preview

Rodrigues, Helena C.C.D. and Jones, Richard E. (1996) A Cyclic Distributed Garbage Collector for Network Objects. In: Babaoglu, Ö. and Marzullo, K., eds. Distributed Algorithms 10th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 123-140. ISBN 978-3-540-61769-3. E-ISBN 978-3-540-70679-3. (doi:10.1007/3-540-61769-8_9)
 Preview
 Preview

 Rothwell, Kneale J, Linington, Peter F., Waters, A. Gill (1996) Experiences in implementing a real-time video filestore. 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)

 Rubira, Cecilia M. F., de Lemos, Rogério, Ferreira, G.R.M., Filho, F. Castor (2005) Exception Handling in the Development of Dependable Component-Based Systems. Software: Practice and Experience, 35 (3). pp. 195-236. ISSN 0038-0644. (doi:10.1002/spe.632) (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)

Ryan, Nick S. (2005) Smart environments for cultural heritage. In: Uno, Takao, ed. Reading Historical Spatial Information from around the World: studies of culture and civilization based on geographic information systems data. International Research Center for Japanese Studies, Kyoto, Japan.
 Preview

Ryder, Chris and Thompson, Simon (2005) Porting HaRe to the GHC API. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK
 Preview

## S

 Sampaio, Augusto C.A., Woodcock, Jim, Cavalcanti, Ana L. C. (2002) Refinement in Circus. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science , 1. pp. 451-470. Springer-Verlag, Berlin ISBN 978-3-540-43928-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)

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 85-97. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-85)
 Preview

Sampson, Adam T., Bjørndalen, John Markus, Andrews, Paul S. (2009) Birds on the Wall: Distributing a Process-Oriented Simulation. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). . pp. 225-231. IEEE Press ISBN 978-1-4244-2959-2.
 Preview

 Sampson, Adam T. and Welch, Peter H. and Barnes, Frederick R.M. (2005) Lazy Cellular Automata with Communicating Processes. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 165-175. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (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)

Sampson, Adam T., Welch, Peter H., Warren, Douglas N., Andrews, Paul S., Bjørndalen, John Markus, Stepney, Susan, Timmis, Jon (2008) Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. . pp. 17-24. MIT Press, Cambridge, MA, USA. ISBN 978-0-262-75017-2.
 Preview

 Sanches, R., Sette, S.S., Cavalcanti, Ana L. C., Florissi, C., Soares, Patricia G., Melo, T.C.S (1987) A Language for a Relational Database Management System. In: 2nd Brazilian Symposium on Databases. . (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)

Schweigler, Mario (2004) Adding Mobility to Networked Channel-Types. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 107-125. ISBN 978-1-58603-458-0.
 Preview

Schweigler, Mario (2001) The Distributed occam Protocol - A New Layer on Top of TCP/IP to Serve occam Channels Over the Internet. Other masters thesis, Computing Laboratory, University of Kent, Canterbury, UK.
 Preview

Schweigler, Mario (2006) A Unified Model for Inter- and Intra-processor Concurrency. Doctor of Philosophy (PhD) thesis, University of Kent.
 Preview

 Schweigler, Mario and Barnes, Frederick R.M. and Welch, Peter H. (2003) Flexible, Transparent and Dynamic occam Networking with KRoC.net. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 199-224. ISBN 978-1-58603-381-1. (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)

Schweigler, Mario and Sampson, Adam T. (2006) pony - The occam-pi Network Environment. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 77-108. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0.
 Preview

Senivongse, T. and Utting, I.A. (1996) A Model for Evolution of Services in Distributed Systems. In: Schill, Spaniol and Popien, Popien, eds. Distributed Platforms Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond. IFIP — The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 373-385. ISBN 978-1-4757-5010-2. E-ISBN 978-0-387-34947-3. (doi:10.1007/978-0-387-34947-3_28)
 Preview
 Preview

 Shandal, Anil Kumar, Waters, A. Gill (1996) Congestion control of AAL3/4 and AAL5 traffic over ATM networks. 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)

 Sheriff, A., Cavalcanti, Ana L. C., Moura, Hermano (2002) An Action Semantics for Timed CSPm. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. . pp. 100-113. (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)

 Shrimpton, David, Balfanz, Dirk (2004) Editorial video technology and interactive broadcasting. Computers and Graphics, 28 (2). pp. 137-138. ISSN 0097-8493. (doi:10.1016/j.cag.2004.01.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)

 Shrimpton, David, Dobbyn, Chris, Casey, Tom (1999) Towards the convergence of interactive television and WWW. In: Colloqium on Multimedia Services and Digital Television by Satellite. (99/111). 6/1-6/6. IEE, Savoy Place, London (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)

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 365-380. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-365)
 Preview

 Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Mobile Robot Control: The Subsumption Architecture and occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 225-236. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (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)

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 339-348. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6.
 Preview

Singer, Jeremy, Marion, Sebastien, Brown, Gavin D., Jones, Richard E., Lujan, Mikel, Ryder, Chris, Watson, Ian (2008) An Information Theoretic Evaluation of Software Metrics for Object Lifetime Prediction. In: 2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'08). . , Goteborg, Sweden
 Preview

Sinnott, Richard O. and Stell, A.J. and Chadwick, David W. and Otenko, O. (2005) Experiences of Applying Advanced Grid Authorisation Infrastructures. In: Advances in Grid Computing - EGC 2005 European Grid Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 265-274. ISBN 978-3-540-26918-2. E-ISBN 978-3-540-32036-4. (doi:10.1007/11508380_28)
 Preview

 Sklenar, Lukas, Utting, Ian (2005) Growing a Tourist Guide. In: Ryan, Nick S. and Cinotti, Tullio Salmon and Raffa, Guiseppe, eds. Smart Environments and their Applications to Cultural Heritage. Proceedings of a workshop held in conjunction with UbiComp'05. Epoch publications . pp. 15-18. Archaeolingua, Budapest, Hungary ISBN 963-8046-61-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)

 Smith, R.P., Shrimpton, David (2004) Towards a PIM for the Model-Driven Development of Web-Based Systems. In: Workshop on Model Driven Development (WMDD 2004), at ECOOP 2004. . (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)

Smith, Robert P. and Kent, Stuart (2002) An Experiment in Model Driven Architecture for e-Enterprise Systems. Technical report. Computing Laboratory, University of Kent at Canterbury
 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)

Stepney, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University
 Preview

 Su, Linying and Chadwick, David W. and Basden, Andrew and Cunningham, James (2005) Automated Decomposition of Access Control Policies. In: Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05). IEEE, pp. 3-13. ISBN 0-7695-2265-3. (doi:10.1109/POLICY.2005.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)

## T

Tan, Su-Wei (2005) Constructing Efficient Self-Organising Application Layer Multicast Overlays. Doctor of Philosophy (PhD) thesis, Computing Laboratory.
 Preview

 Tan, Su-Wei, Waters, A. Gill (2003) Building Low Delay Application Layer Multicast Trees. In: Merabti, Madjid and Pereira, Rubem, eds. Proceeding of 4th Annual PostGraduate Symposium: The Convergence of Telecommunications, Networking & Broadcasting. . pp. 27-32. Liverpool John Moore University ISBN 1-902560-09-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)

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2005) MeshTree: A Delay optimised Overlay Multicast Tree Building Protocol. Technical report. IEEE Computer Society, Washington, DC, USA, University of Kent
 Preview

 Tan, Su-Wei, Waters, A. Gill, Crawford, John (2005) MeshTree: Reliable Low Delay Degree-bounded Multicast Overlays. In: First International Workshop on Distributed, Parallel and Network Applications (DPNA-2005), 20-22 July 2005, Fukuoka, Japan. (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)

 Tan, Su-Wei, Waters, A. Gill, Crawford, John (2004) A Multiple Shared Trees Approach for Application Layer Multicasting. In: IEEE International Conference on Communications (ICC'04). 1-7. pp. 1456-1460. IEEE, Paris, France ISBN 0-7803-8533-0. (doi:10.1109/ICC.2004.1312753) (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)

 Tan, Su-Wei and Waters, A. Gill and Crawford, John (2003) A Survey and Performance Evaluation of Scalable Tree-based Application Layer Multicast Protocols. Technical report. University of 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)

 Tan, Su-Wei, Waters, A. Gill, Crawford, John (2006) A performance comparison of self-organising application layer multicast overlay construction techniques. Computer Communications, 29 (12). pp. 2322-2347. ISSN 0140-3664. (doi:10.1016/j.comcom.2006.02.020) (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)

Tang, Xinbei (2004) Mobile Process in Unifying Theories. Technical report. University of Kent, Canterbury, Kent CT2 7NF
 Preview

 Tang, Xinbei, Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods. . pp. 44-53. IEEE Computer Society Press., Beijing, China ISBN 0-7695-2222-X. (doi:10.1109/SEFM.2004.1347502) (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)

 Tang, Xinbei and Woodcock, Jim (2004) Travelling Processes. In: Kozen, Dexter, ed. Mathematics of Program Construction 7th International Conference. Lecture Notes in Computer Science, 3125 . Springer, Berlin, Germany, pp. 381-399. ISBN 978-3-540-22380-1. E-ISBN 978-3-540-27764-4. (doi:10.1007/978-3-540-27764-4_20) (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)

 Thomas, Stephen P. and Jones, Richard E. (1994) Garbage Collecting Shared Environment Closure Reducers. Technical report. Computing Laboratory, University of Kent at Canterbury 10.1016/0020-0190(95)00131-U. (doi:10.1016/0020-0190(95)00131-U) (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)

 Tracey, Nigel J., Clark, John A., Mander, Keith C. (1998) Automated Programme Flaw Finding using Simulated Annealing. In: ACM SOGSOFT Symposium on Software Testing and Analysis (ISSTA 98). . , Florida (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)

 Tracey, Nigel J., Clark, John A., Mander, Keith C. (1998) The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-based Approach. In: IFIP International Workshop on Dependable Computing and its Applications (DCIA 98). . , Johannesburg (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)

Tracey, Nigel J. and Clark, John A. and Mander, Keith C. and McDermid, John A. (1998) An Automated Framework for Structural Test-data Generation. In: Proceedings 13th IEEE International Conference on Automated Software Engineering. IEEE, pp. 285-288. ISBN 0-8186-8750-9. (doi:10.1109/ASE.1998.732680)
 Preview

 Tracey, Nigel J., Clark, John A., Mander, Keith C., McDermid, John A. (2000) Automated Test-Data Generation for Exception Conditions. Software Practice and Experience, 30 (1). pp. 61-79. ISSN 0038-0644. (doi:10.1002/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-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)

Tripp, Gerald (1995) An ATM Interface with Facilities for Traffic Generation and Monitoring. Technical report. UKC, University of Kent, Canterbury, UK
 Preview
 Preview

Tripp, Gerald (2000) The Design of an Associative Processing system for Network Monitoring. Technical report. University of Kent
 Preview
 Preview

 Tripp, Gerald (2005) A Finite-State-Machine based string matching system for Intrusion Detection on High-Speed Networks. In: Turner, Paul and Broucek, Vlasti, eds. EICAR 2005 Conference Proceedings. . pp. 26-40. ISBN 87-987271-7-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)

 Tripp, Gerald (2001) Interception of Communications. Information and Communications Technology Law, 10 (3). pp. 285-292. ISSN 1360-0834. (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)

Tripp, Gerald (2004) An Intrusion Detection System for Gigabit Networks -Architecture and an example system. Technical report. University of Kent
 Preview

Tripp, Gerald (1999) Network Traffic Monitoring - an architecture using associative processing. Technical report.
 Preview
 Preview

 Tripp, Gerald (1997) On the design of an ATM interface with facilities for traffic monitoring and generation. Journal of Network and Computer Applications, 20 (2). pp. 105-121. ISSN 1084-8045. (doi:10.1006/jnca.1996.0033) (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)

Tripp, Gerald (1999) Real Time Network Traffic Monitoring. Technical report.
 Preview
 Preview

Tripp, Gerald (2008) Regular expression matching with input compression and next state prediction. Technical report. UKC
 Preview

 Tripp, Gerald (2007) Regular expression matching with input compression: a hardware design for use within network intrusion detection systems. Journal in Computer Virology, 3 (2). pp. 125-134. ISSN 1772-9890. (doi:10.1007/s11416-007-0047-z) (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)

Tripp, Gerald (1992) A Video Control Processor. Technical report. University of Kent, Canterbury, UK
 Preview
 Preview

Tripp, Gerald (2006) A parallel 'String Matching Engine' for use in high speed network intrusion detection systems. Journal in Computer Virology, 2 (1). pp. 21-34. ISSN 1772-9890. (doi:10.1007/s11416-006-0010-4)
 Preview

## U

Utton, Peter and Martin, Gino and Akehurst, David H. and Waters, A. Gill (1999) Performance analysis of object-oriented designs for distributed systems. Technical report. n/a
 Preview

## V

 Valliapan, Vedhagiri, Shrimpton, David, Dobbyn, Chris (2001) Integrating Interactive TV with the Web using XSL. In: Poster Proceedings of The Tenth International World Wide Web Conference. Conference Series of the International World Wide Web Conference Committee . pp. 72-73. ISBN 962-85361-3-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)

 Valliapan, Vedhagiri and Shrimpton, David and Dobbyn, Chris and Casey, Tom (2001) Transforming Web Pages for Interactive TV Using XSL. In: IEEE International Conference on Multimedia and Expo, 2001. IEEE, pp. 1008-1011. ISBN 0-7695-1198-8. (doi:10.1109/ICME.2001.1237843) (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)

## W

Wang, J., Saeed, Amer, de Lemos, Rogério (1997) Subjective Safety Analysis for Software Development. In: Soares, C. Guedes, ed. Proceedings of the International Conference on Safety and Reliability (ESREL 97). . pp. 389-396. Elsevier Science Ltd, Oxford, UK, Lisbon, Portugal
 Preview

 Warmer, Jos and Hogg, John and Cook, Steve J. and Selic, Bran (1997) Experience with Formal Specification of CMM and UML. In: Bosch, Jan and Mitchell, Stuart, eds. Object-Oriented Technologys ECOOP’97 Workshop Reader ECOOP’97 Workshops. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 216-220. ISBN 978-3-540-64039-4. E-ISBN 978-3-540-69687-2. (doi:10.1007/3-540-69687-3_44) (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)

Waters, A. Gill (2000) Hierarchies for Network Evolution. In: 16th UK Teletraffic Symposium on Management of Quality of Service - the New Challenge. . 5/1-5/6. IEE
 Preview
 Preview

 Waters, A. Gill (1996) Multi-party communication over packet networks. Doctor of Philosophy (PhD) thesis, University of Essex, School of Science and Engineering. (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)

 Waters, A. Gill (1992) Multicast provision for high speed networks. 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)

 Waters, A. Gill (1994) A new heuristic for ATM multicast routing. 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)

 Waters, A. Gill, Bishop, T.L.J. (1993) Delay Considerations in Multicast Routing for ATM Networks. In: 10th UK Teletraffic Symposium. . 12/1-12/6. IEE (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)

 Waters, A. Gill and Crawford, John (2000) ATM Multicast Routing. In: Kouvatsos, D.D., ed. Performance Evaluation and Application of ATM Networks. Kluwer, pp. 229-248. ISBN 0-7923-7851-2. (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)

Waters, A. Gill, Crawford, John (1996) Low-cost ATM Multicast Routing with Constrained Delays. In: Pascual, J. and Danthine, A., eds. Multimedia Telecommunications and Applications. Lecture Notes in Computer Science , 1185. pp. 23-40. Springer, Heidelberg, Barcelona, Spain ISBN 3-540-62096-6.
 Preview
 Preview

 Waters, A. Gill, Crawford, John, Lim, Sei Guan (2004) Optimising multicast structures for grid computing. Computer Communications, 27 (14). pp. 1389-1400. (doi:10.1016/j.comcom.2004.02.015) (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)

 Waters, A. Gill and Lim, Sei Guan (2003) Applying clustering algorithms to multicast group hierarchies. Technical report. University of 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)

Waters, A. Gill, Linington, Peter F., Akehurst, David H., Symes, A. (1997) Communications software performance prediction. In: UNSPECIFIED.
 Preview
 Preview

 Waters, A. Gill, Linington, Peter F., Akehurst, David H., Utton, Peter, Martin, Gino (2001) Permabase: predicting the performance of distributed systems at the design stage. IEE Proceedings: Software, 148 (4). pp. 113-121. ISSN 1462-5970. (doi:10.1049/ip-sen:20010553) (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)

Welch, Peter H. (2008) Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. In: UNSPECIFIED.
 Preview

 Welch, Peter H. (2004) Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. In: Bartz, Dirk and Raffin, Bruno and Shen, Han-Wei, eds. Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004. . pp. 17-22. The Eurographics Association ISBN 3-905673-11-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)

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 17-33. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-17)
 Preview

 Welch, Peter H. and Barnes, Frederick R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: Abdallah, Ali E. and Jones, Cliff B. and Sanders, Jeff W., eds. Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 175-210. ISBN 978-3-540-25813-1. E-ISBN 978-3-540-32265-8. (doi:10.1007/11423348_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)

 Welch, Peter H. and Barnes, Frederick R.M. (2005) Mobile Barriers for occam-pi: Semantics, Implementation and Application. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 289-316. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (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)

Welch, Peter H., Barnes, Frederick R.M., Polack, Fiona A.C. (2006) Communicating Complex Systems. In: Hinchey, Michael G., ed. Engineering of complex computer systems; ICECCS 2006; proceedings. . pp. 107-117. IEEE Computer Society ISBN 0-7695-2530-X.
 Preview

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and Extending JCSP. In: Schneider, S.A. and McEwan, Alistair A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering, 65 . IOS, Amsterdam, Netherlands, pp. 349-370. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6.
 Preview

 Welch, Peter H., Hopkins, Tim (1989) Transputer Data-Flow Solutions for Systems of Linear Equations. In: Parallel Computing 1989, Proceedings of the International Conference. . Elsevier, Netherlands, Leiden, Netherlands (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)

 Welch, Peter H. and Linington, Peter F. (1993) An Enabling Infrastructure for a Distributed Multimedia Industry. In: Welch, Peter H. and May, M.D. and Thompson, P.W., eds. Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands, pp. 183-200. (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)

 Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 455-456. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-455) (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)

 Welch, Peter H., Vinter, Brian, Barnes, Frederick R.M. (2005) Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. In: International Conference on Parallel and Distributed Processing Techniques and Applications 2005, 27-29 June 2005, Las Vegas, United States. (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)

 Wills, A.C (1998) Modeling for Component Based Development. In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '98),. . (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)

 Wills, A.C. (1999) Catalysis: object and component based development. 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)

 Wills, A.C. (2001) Coherence in UML. In: Coupling the UML diagrams. . , Mont St Michel (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)

 Wills, A.C. (2000) Component Architecture: Catalysis Techniques for Defining Interfaces. In: Councill, B. and Heinemann, G., eds. Component Based Software Engineering. . (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)

 Wills, A.C. (2000) Component Design is Language Design. In: ISSUG 2000 (International Sterling Software User Group). . , Paris (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)

 Wills, A.C. (1999) Designing Component Kits and Architectures. In: Barroca, Leonor and Hall, Jon and Hall, Patrick A.V., eds. Software architectures: advances and applications. 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)

 Wills, A.C. (2000) Modeling Traits of Component Based Systems. In: OOPSLA 2000, Conference on Object-Oriented Programming, Systems, Languages, and Applications. . (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)

 Wills, A.C., Cook, S., Kleppe, Anneke, Mitchell, Richard, Warmer, Jos (1999) Object Constraint Language. In: 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 99), Nov 1-5, 1999, Denver, Colorado, USA. (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)

 Wing, Jeanette M., Woodcock, Jim (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17 (3). pp. 199-200. ISSN 0925-9856. (doi:10.1023/A:1026521916117) (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)

 Wing, Jeanette M., Woodcock, Jim (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. IEEE Transactions on Software Engineering, 26 (8). pp. 673-674. ISSN 0098-5589. (doi:10.1109/TSE.2000.879806) (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)

 Woodcock, J. and Cavalcanti, A. (2001) The Steam Boiler in a Unified Theory of Z and CSP. In: Proceedings Eighth Asia-Pacific Software Engineering Conference. IEEE, pp. 291-298. ISBN 0-7695-1408-1. (doi:10.1109/APSEC.2001.991490) (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)

 Woodcock, Jim (2002) An Introduction to the Alphabetised Relational Calculus. In: Logic and Algebra for Engineering Software. . IOS Press (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)

 Woodcock, Jim (2002) Semantics of Parallel Programming Languages in the Unifying Theory. In: Logic and Algebra for Engineering Software. . IOS Press (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)

 Woodcock, Jim (2002) Unifying Theories of Parallel Programming. In: ICFEM 2002: 4th International Conference on Formal Engineering Methods. . IEE Computer Society Press., Shanghai (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)

 Woodcock, Jim (2004) Using Circus for critical industrial applications. In: WMF2003: 6th Braziliam Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science , 95. pp. 3-22. Elsevier Science, Campina Grande, Brazil (doi:10.1016/j.entcs.2004.04.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)

 Woodcock, Jim, Cavalcanti, Ana L. C. (2001) A Concurrent Language for Refinement. In: 5th Irish Workshop on Formal Methods. . (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)

 Woodcock, Jim, Cavalcanti, Ana L. C. (2002) The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science , 1. pp. 184-203. Springer-Verlag, Berlin ISBN 978-3-540-43166-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)

Woodcock, Jim and Cavalcanti, Ana L. C. (2004) A tutorial introduction to unifying theories of programming. In: Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 40-66. ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/978-3-540-24756-2_4)
 Preview

 Woodcock, Jim, Davies, Jim, Bolton, Christie (2000) Abstract Data Types and Processes. In: Roscoe, A.W. and Davies, Jim and Woodcock, Jim, eds. Proceedings of the Symposium in Honour of CAR Hoare. . pp. 391-405. (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)

 Woodcock, Jim and Hughes, Arthur (2002) Unifying Theories of Parallel Programming. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science, 0302-9 . Springer Berlin / Heidelberg, pp. 24-37. ISBN 978-3-540-00029-7. (doi:10.1007/3-540-36103-0) (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)

 Woodcock, Jim, McEwan, Alistair A. (2000) An Overview of the Verification of a Handel-C Program. In: International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 26-29, 2000, Las Vegas, NV,. (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)

 Woodcock, Jim, McEwan, Alistair A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings of the International Conference on Integrated Design and Process Technology. . IDPT Press, Passadena (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)

## X

 Xu, Wensheng, Chadwick, David W., Otenko, Sassa (2005) Development of a Flexible PERMIS Authorisation Module for Shibboleth and Apache Server. In: 2nd EuroPKI Workshop, 30 June - 1 July 2005, Canterbury, United Kingdom. (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)

Xu, Wensheng, Chadwick, David W., Otenko, Sassa (2005) A PKI Based Secure Audit Web Server. In: IASTED Communications, Network and Information and CNIS. . , Phoenix, USA
 Preview

This list was generated on Thu Aug 22 21:48:28 2019 BST.