The University of Southampton

Publications

Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J., (1999) Questions and Answers About Ten Formal Methods Gnesi, S. and latella, D. (eds.) At Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. , pp. 179-203.

Chatters, B., Henderson, P. and Rostron, C. (1998) SIMMER: Software and Systems Integration, Modelling, Metrics and Risks (Getting to Level 4) At Proc. European Conf. on Software Process Improvement (EuroSPI). , 4.16-4.

Chatters, B., Henderson, P. and Rostron, C., (1998) The Cellular Manufacturing Process Model: Planning a Complex Software And Systems Integration Project Coombes, H., Huysduynen, M. Hooft van and Peeters, B. (eds.) At Proc. European Software Measurement Conf.. , pp. 559-564.

Greenwood, R. M., Warboys, B., Harrison, R. and Henderson, P. (1998) An Empirical Study of the Evolution of a Software System At Proc. 13th Int. Conf. Automated Software Engineering (ASE). , pp. 293-296.

Henderson, P. (1998) Laws for Dynamic Systems At Proc. Int. Conf. on Software Re-Use (ICSR). , pp. 330-336.

Henderson, P. (1998) From Formal Models to Validated Components in an Evolving System s.n.

Phalp, K., Henderson, P., Abeysinghe, G. and Walters, R.J. (1998) RolEnact - Role Based Enactable Models of Business Processes Information and Software Technology, 40, (3), pp. 123-133.

Abeysinghe, G., Henderson, P., Phalp, K. and Walters, R.J., (1997) An Audience Centred Approach to Modelling for Business Processes ReEngineering Gyorkos, J., Krisper, M. and Mayr, H. C. (eds.) At Proc. 5th Int. Conf. Re-technologies for Information Systems (ReTis'97). , pp. 63-80.

Henderson, P., (1997) Formal Models of Process Components Leavens, G. T. and Sitamaran, M. (eds.) At Proc. Int. Foundations of component-based systems Workshop. , pp. 131-140.

Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful Software Engineering J., 11, (2), pp. 104-110.

Henderson, P. and Walters, R. J. (1999) Modelling Component-based Systems as an aid to Design Validation At 14th IEEE International Conference on Automated Software Engineering (ASE). , pp. 303-6.

Berrington, N., DeRoure, David C., Greenwood, R. and Henderson, P., (1994) Distribution and Change: Investigating two challenges for Process Enactment Systems Warboys, B. C. (ed.) At Software Process Technology. , 152--162.

Henderson, P. and Walters, R. J. (1999) System Design Validation Using Formal Models At Proc. 10th Int. Workshop on Rapid System Prototyping (RSP). , pp. 10-14.

Henderson, Peter and Howard, Yvonne (1999) Simulating a Process Strategy for Large Scale Software Development At Proceedings of Workshop on Software Process Simulation Modelling, ProSim99. , 10pp.

Chatters, Brian, Henderson, Peter and Rostron, Chris (1999) An experiment to improve cost estimation and project tracking for software and systems integration projects At 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium. , pp. 177-184.

Henderson, P. (1972) Derived semantics for some programming language constructs Communications of the ACM, 15, (ll), pp. 967-973.

Henderson, P. and Snowdon, R. A. (1972) An experiment in structured programming BIT, 12, (4), pp. 38-53.

Henderson, P. and Quarendon, P. (1974) Finite state testing of structured programs At Lecture notes in Computer Science, LNCS 19. , pp. 72-80.

Henderson, P. and Snowdon, R. A. (1974) A tool for structured program development Information Processing 74, 1, pp. 204-207.

Henderson, P. (1975) Finite state modelling in program development SIGPLAN Notices, 10, (6), pp. 221-227.

Henderson, P. (1977) An approach to compile time type checking Information Processing 77, 1, pp. 523-527.

Henderson, P. and Morris, J. H. (1976) A lazy evaluator At Proc. 3rd Int. Conf. Principles of programming languages (POPL). , pp. 95-103.

Henderson, P. (1977) Structured Program Testing At Current Trends in Programming Methodology. , pp. 1-15.

Henderson, P. and Snowdon, R. A. (1978) The TOPD system for program development, At Structured Analysis and Design -- State of the Art Report. , pp. 284-305.

Henderson, P. (1978) Relational Data Models for describing system structure At Les Fondements de la Programmation. , pp. 189-206.

Henderson, P., Gimson, R. G., Snowdon, R. A. and Pratten, G. D. (1979) The maintenance of software with multiple versions At Structured Software Development -- State of the Art Report. , pp. 100-115.

Henderson, P. (1979) Program Parts and their Relationship At Proc. State of the Art Conf. on Long Life Software. , 4/1-4/14.

Henderson, P., Hoare, C. A. R. (ed.) (1980) Functional Programming - Application and Implementation: Russian Edition 1983, Japanese Edition 1985, Prentice-Hall Int. Series in Computer Science

Henderson, P. (1981) System Design, State of the Art Report, Pergammon-Infotech Ltd.

Henderson, P. and Gimson, R. B. (1981) Modularisation of Large Programs Software - Practice and Experience, 11, (5), pp. 497-520.

Darlington, J., Henderson, P. and Turner, D. A. (eds.) (1982) Functional programming and its applications, Cambridge Univ. Press, UK

Henderson, P. (1982) Functional Geometry At Proc. ACM Symp. on Lisp and Functional Programming. , pp. 179-187.

Henderson, P. (1982) Purely Functional Operating Systems At Functional Programming and its Applications. , pp. 177-192.

Henderson, P. and Jones, S. B. (1984) Shells of Functional Operating Systems At SERC Distributed Computer Systems. , pp. 290-298.

Henderson, P. (1984) A practical view of functional programming Data Processing, 26, (2), pp. 34-36.

Henderson, P. (1985) Specifications and Programs At Software, Requirements, Specification and Testing. , pp. 75-82.

Henderson, P. (1986) Functional programming, formal specification, and rapid prototyping IEEE Transactions on Software Engineering, SE-12, (2), pp. 241-250.

Henderson, P. and Minkowitz, C. J. (1986) The me too Method of Software Design ICL Journal, 5, (1)

Minkowitz, C. and Henderson, P., (1987) A Formal Description of Object-Oriented Programming Using VDM Airchinnigh, M. Mac an, Bjørner, D., Jones, C. B. and Neuhold, E. J. (eds.) At VDM-Europe Symposium on VDM - A Formal Method at Work, LNCS 252. , pp. 237-259.

Budgen, D., Henderson, P. and Rattray, C. (1989) Academic/Industrial collaboration in a Postgraduate MSc Course in Software Engineering The Journal of Systems and Software, 10, (4), 261-??.

Henderson, P. and Warboys, B. C. (1989) An architectural framework for Systems ICL Technical Journal

Glaser, H. and Henderson, P., (1991) Functional Programming McDermid, J. A. (ed.) At Software Engineer's Reference Handbook. , 35/1-35/6.

Gravell, A. M. and Henderson, P, (1991) Why Execute Formal Specifications? Neumann, B. De, Simpson, D. and Slater, G. (eds.) At Mathematical Structures for Software Engineering. , pp. 165-184.

Henderson, P. and Warboys, B. C. (1991) Configuration Description for Component Reuse At Proc. 1st Int. Workshop on Software Reuse.

Henderson, Peter (1993) Object-oriented specification and design with C++, New York, US, McGraw-Hill, 288pp. (McGraw-Hill International Series in Software Engineering).

Henderson, P. and Pratten, G. D. (1993) Implementing Potential-for-change ICL Technical Journal, 8, (3), pp. 383-397.

Henderson, P., Jones, G. A. and Jones, S. B. (1982) The LispKit Manual: Two volumes, Oxford University Computing Laboratory

Henderson, P., (1993) Functional Programming, Formal Specification and Rapid Prototyping al, A. McGettrick et (ed.) At Software Engineering in Europe. , pp. 241-250.

Henderson, P. (1994) Software Processes are Business Processes Too At Proc. 3rd Int. Conf. on the Software Process. , pp. 181-182.

Henderson, P. and Pratten, G. D. (1995) POSD - a notation for presenting complex systems of processes At Proc. 1st IEEE Int. Conf. on Engineering of Complex Computer Systems. , pp. 125-128.

Henderson, Peter (2000) Systems Engineering for Business Process Change, Springer Verlag UK

Henderson, P. and Howard, Y. (1998) Simulating a Process Strategy for Large Scale Software Development using System Dynamics Software Process Improvement and Practice, 5, pp. 121-131.

Henderson, Peter, Howard, Yvonne Margaret and Walters, Robert John (2001) A Tool for Evaluation of the Software Development Process Journal of Systems and Software, 59, (3), pp. 355-362.

Henderson, Peter and Walters, Robert John (2001) Behavioural Analysis of Component-Based Systems Information and Software Technology, 43, (3), pp. 161-169.

Henderson, Peter, Crouch, Stephen and Walters, Robert John (2001) Inconsistency Tolerance across Enterprise Solutions At 8th IEEE Workshop on Future Trends of Distributed Computing Systems. , pp. 164-169.

Henderson, Peter, Walters, Robert John and Crouch, Stephen, (2002) RICES: Reasoning about Information Consistency across Enterprise Solutions Henderson, Peter (ed.) At Systems Enginerring for Business Process Change: New Directions. , pp. 367-371.

Henderson, Peter, Crouch, Stephen, Walters, Robert John and Ni, Qinglai, Kowalcyzk, R, Muller, J.P, Tianfield, H and Unland, R(eds.) (2003) A Comparison of some Negotiation Algorithms using a Tournament-Based Approach Lecture Notes in Computer Science, 2592, pp. 137-150.

Butler, Michael, Ferreira, Carla, Henderson, Peter, Chessell, Mandy, Griffin, Catherine and Vines, David (2002) Extending the Concept of Transaction Compensation IBM Systems Journal, 47, pp. 743-758.

Henderson, Peter (2002) Functional Geometry Higher-Order and Symbolic Computation, 15, (4), pp. 349-365.

Henderson, Peter, Walters, Robert John, Crouch, Stephen and Ni, Qinglai, (2003) DataWarp: Building Applications which Make Progress in an Inconsistent World Stefani, Jean-Bernard, Demeure, Isabelle and Hagimont, Daniel (eds.) At 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems. 17 - 21 Nov 2003. , pp. 167-178.

Henderson, Peter, Crouch, Stephen, Walters, Robert and Ni, Qinglai, (2003) Effects of Introducing Survival Behaviours into Automated Negotiators Titsworth, Francis (ed.) At The 27th Annual International Computer Software Applications Conference. 03 - 06 Nov 2003. , pp. 506-512.

Henderson, Peter, Crouch, Stephen and Walters, Robert John, (2004) Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-level Information Propagation Seruca, Isabel, Filipe, Joaquim, Hammoudi, Slimane and Cordeiro, Jose (eds.) At The 6th International Conference on Enterprise Information Systems (ICEIS 2004), Portugal. 14 - 17 Apr 2004. , pp. 473-481.

Henderson, Peter, Walters, Robert John and Crouch, Stephen (2004) Implementing Hierarchical Features in a Graphically Based Formal Modelling Language At The Twenty-Eighth Annual International Computer Software & Applications Conference. 28 - 30 Sep 2004. , pp. 92-98.

Henderson, Peter, Crouch, Stephen, Walters, Robert John and Ni, Qinglai, Card, D N(ed.) (2005) Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework Journal of Systems and Software, 76, (1), pp. 65-76.

Henderson, Peter and Yang, Jingtao (2004) Reusable Web Services Lecture Notes in Computer Science, pp. 185-194.

Henderson, Peter (2002) Reasoning about Asynchronous Behaviour in Distributed Systems At Eigthth IEEE International Conference on Engineering of Complex Computer Systems |(ICECCS'02), United States. 02 - 04 Dec 2002. , pp. 17-24.

De Silva, Nishadi and Henderson, Peter (2005) Narrative support for technical documents: Formalising Rhetorical Structure Theory At International Conference on Enterprise Information Systems (ICEIS), United States. 24 - 28 May 2005.

Lee, Yih-Jiun and Henderson, Peter (2005) A Practical Modelling Notation for Secure Distributed Computation At The INA workshop in conjunction with 19th International Conference on Advanced Information Networking and Applications, Taiwan, Province of China. 28 - 30 Mar 2005.

Crouch, Stephen, Henderson, Peter and Walters, Robert John, (2005) Building applications able to cope with problematic data using a datawarp approach Chen, Chi-Sheng, Filipe, Joaquim, Seruca, Isabel and Cordeiro, Jose (eds.) At Seventh International Conference on Enterprise Information Systems, United States. 25 - 28 May 2005. , pp. 411-414.

Lee, Yih-Jiun and Henderson, Peter (2005) A Modelling Notation for Grid Computing At The Workshop of International Conference on Computational Intelligence and Security, China. 15 - 19 Dec 2005.

Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services At The 5th International Conference on Quality Software (QSIC 2005), Australia. , pp. 446-451.

Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition At OnTheMove Workshops, Cyprus. , pp. 39-48.

De Silva, N and Henderson, P (2005) Computer Support for Narrative Structures At Computers and Writing 2005, United States. 16 - 19 Jun 2005.

Henderson, Peter and De Silva, Nishadi (2006) A narrative approach to collaborative writing: A business process model At 8th International Conference on Enterprise Information Systems (ICEIS), Cyprus. 23 - 27 May 2006.

Atkinson, M P, De Roure, D, Dunlop, A N, Fox, G, Henderson, P, Hey, A J G, Paton, N W, Newhouse, S, Parastatidis, S, Trefethen, A E, Watson, P and Webber, J (2005) Web Service Grids: an evolutionary approach Concurrency and Computation: Practice and Experience, 17, (2-4), pp. 377-389.

Crouch, Stephen, Henderson, Peter and Walters, Robert J (2007) Selecting a Distributed Agreement Algorithm At The 2007 ACM Syposium on Applied Computing. 11 - 15 Mar 2007. , pp. 586-587.

Crouch, Stephen, Henderson, Peter and Walters, Robert John (2007) DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data At The Thirty-first Annual (IEEE) International Computer Software and Applications Conference (COMPSAC07), China. 23 - 27 Jul 2007. , pp. 583-590.

De Silva, Nishadi and Henderson, Peter (2007) Narrative-based writing for coherent technical documents At ACM Special Interest Group on the Design of Communication (SIGDOC), United States. 22 - 24 Oct 2007.

Henderson, Peter and De Silva, Nishadi (2008) System architecture induces document architecture At The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008). 01 - 03 Jul 2008.

Crouch, Stephen, Henderson, Peter and Walters, Robert (2008) Utilising Located Functions to Model and Optimise Distributed Computations At 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Finland. 28 Jul - 01 Aug 2008.

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×