School of Computing - University of Teesside - Middlesbrough (UK)

Menu of Content

Publications of Phil Brooke

Conference & Journal Papers

  1. Richard F. Paige, T. S. Attridge, and Phillip J. Brooke. An experiment in design-by-contract for game development. Journal of Object Technology, 2006. To appear.
  2. Jonathan S. Ostroff, Richard F. Paige, D. Makalsky, and Phillip J. Brooke. ETester: A contract-aware and agent-based testing framework for Eiffel. Journal of Object Technology, September 2005. To appear.
  3. Richard F. Paige and Phillip J. Brooke. Agile formal method engineering. In Proc. IFM'05, LNCS. Springer-Verlag, December 2005.
  4. S. A. Razak, S. M. Furnell, and P. J. Brooke. A two-tier intrusion detection system for mobile ad hoc networks. In Proceedings of the Fourth European Conference on Information Warfare and Security, Glamorgan, South Wales, University of Glamorgan, UK, July 2005.
  5. Phillip J. Brooke, John A. Clark, Richard F. Paige, and Susan Stepney. Playing the game: Cheating, loopholes, and virtual identity. ACM Computers and Society, 34(3), September 2004.
  6. Richard F. Paige and Phillip J. Brooke. Integrating BON and Object-Z with tool support. Journal of Object Technology, mar # "/" # apr 2004. The code generator referred to in this paper is available from the BON-CASE Tool web site, as of distribution 0.5b4.
  7. Richard F. Paige, Phillip J. Brooke, and Jonathan S. Ostroff. Agile development of an executable metamodel. November 2004. Proc. Fifteenth IEEE International Symposium on Software Reliability Engineering, St-Malo, France.
  8. Richard F. Paige, Phillip J. Brooke, and Jonathan S. Ostroff. Specification-driven design of a metamodel in Eiffel. October 2004. Proc. Workshop in Software Model Engineering.
  9. S. A. Razak, S. M. Furnell, and P. J. Brooke. Attacks against mobile ad hoc networks routing protocols. In Proceedings of 5th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking \& Broadcasting, PGNET 2004, pages 147-152, Liverpool, June 2004.
  10. Phillip J. Brooke and Richard F. Paige. Fault trees for security system design and analysis. Computers and Security, 22(3):256-264, 2003.
  11. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Theorem proving support for view consistency checking. L'Objet, 9(4), 2003.
  12. Richard F. Paige, P. Agarwal, and Phillip J. Brooke. Combining XP practices with UML and EJB: a case study in agile development. In XP 2003, number 2675 in LNCS. Springer-Verlag, May 2003.
  13. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Formalising Eiffel reference and expanded types in PVS. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO). Utrecht University, July 2003. Co-located with ECOOP 2003, published as technical report.
  14. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. A test-based agile approach to checking the consistency of class and collaboration diagram. In Proc. UK Softest Workshop, York. September 2003.
  15. Phillip J. Brooke and Richard F. Paige. The design of a tool-supported graphical notation for Timed CSP. In Michael Butler, Luigia Petre, and Kaisa Sere, editors, Integrated Formal Methods, number 2335 in LNCS. 2002.
  16. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Checking the consistency of collaboration and class diagrams with PVS. In The Fourth Workshop on Rigorous Object-Oriented Methods. King's College, London, 2002.
  17. Richard F. Paige and Phillip J. Brooke. Using PVS to support a real-time refinement calculus. In Gethin Norman, Marta Kwiatkowska, and Dimitar Guelev, editors, Second Workshop on Automated Verification of Critical Systems. University of Birmingham, 2002. Technical report CSR-02-6.
  18. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Principles of modeling language design. Journal of Information and Software Technology, 42(11), 2000.
  19. P. J. Brooke, J. L. Jacob, and J. M. Armstrong. An analysis of the four-slot mechanism. In Proceedings of the BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer-Verlag, 1996.

Conference Proceedings

Unpublished Papers

Technical Reports

  1. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Checking the consistency of views using PVS. Technical Report 0, York University, Canada, 2002.

Theses

  1. Phillip J. Brooke. A Timed Semantics for a Hierarchical Design Notation. PhD thesis, University of York, 1999.
If you have difficulties accessing this website please email d.cumbor {at} tees.ac.uk.