The University of Southampton
Telephone:
07802656443
Email:
p.henderson@ecs.soton.ac.uk

Professor Peter Henderson 

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.) 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). 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.) 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. Proc. 13th Int. Conf. Automated Software Engineering (ASE). pp. 293-296 .

Henderson, P. (1998) Laws for Dynamic Systems. 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), 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.) 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.) 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 Journal, 11 (2), 104-110.

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

(1994) Distribution and Change: Investigating two challenges for Process Enactment Systems. Warboys, B. C. (ed.) Software Process Technology. 152--162 .

Henderson, P. and Walters, R. J. (1999) System Design Validation Using Formal Models. 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. 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. 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), 967-973.

(1972) An experiment in structured programming. BIT, 12 (4), 38-53.

(1974) Finite state testing of structured programs. 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, 204-207.

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

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

(1976) A lazy evaluator. Proc. 3rd Int. Conf. Principles of programming languages (POPL). pp. 95-103 .

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

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

Henderson, P. (1978) Relational Data Models for describing system structure. 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. Structured Software Development -- State of the Art Report. pp. 100-115 .

Henderson, P. (1979) Program Parts and their Relationship. 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.

(1981) Modularisation of Large Programs. Software: Practice and Experience, 11 (5), 497-520.

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

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

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

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

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

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

(1986) The me too Method of Software Design. ICL Journal, 5 (1).

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

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

(1989) An architectural framework for Systems. ICL Technical Journal.

(1991) Functional Programming. McDermid, J. A. (ed.) 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.) Mathematical Structures for Software Engineering. pp. 165-184 .

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

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

Henderson, P. and Pratten, G. D. (1993) Implementing Potential-for-change. ICL Technical Journal, 8 (3), 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.) Software Engineering in Europe. pp. 241-250 .

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

(1995) POSD - a notation for presenting complex systems of processes. 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, 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), 355-362.

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

Henderson, Peter, Crouch, Stephen and Walters, Robert John (2001) Inconsistency Tolerance across Enterprise Solutions. 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.) 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, 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, 743-758.

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

Henderson, Peter, Crouch, Stephen, Walters, Robert and Ni, Qinglai (2003) Effects of introducing survival behaviours into automated negotiators. Titsworth, Francis (ed.) The 27th Annual International Computer Software Applications Conference. 03 - 06 Nov 2003. pp. 506-512 .

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.) 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems. 17 - 21 Nov 2003. pp. 167-178 .

(2003) Effects of Introducing Survival Behaviours into Automated Negotiators. Titsworth, Francis (ed.) 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.) 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. 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), 65-76.

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

(2002) Reasoning about Asynchronous Behaviour in Distributed Systems. 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. 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. The INA workshop in conjunction with 19th International Conference on Advanced Information Networking and Applications, Taiwan. 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.) 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. The Workshop of International Conference on Computational Intelligence and Security, Xian, 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. The 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia. pp. 446-451 .

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

De Silva, N and Henderson, P (2005) Computer Support for Narrative Structures. Computers and Writing 2005, Stanford University, California, United States. 15 - 18 Jun 2005.

Henderson, Peter and De Silva, Nishadi (2006) A narrative approach to collaborative writing: A business process model. 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), 377-389.

Crouch, Stephen, Henderson, Peter and Walters, Robert J (2007) Selecting a Distributed Agreement Algorithm. 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. The Thirty-first Annual (IEEE) International Computer Software and Applications Conference (COMPSAC07), Beijing, China. 22 - 26 Jul 2007. pp. 583-590 .

De Silva, Nishadi and Henderson, Peter (2007) Narrative-based writing for coherent technical documents. 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. The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008). 01 - 03 Jul 2008.

(2008) Utilising Located Functions to Model and Optimise Distributed Computations. 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Finland. 28 Jul - 01 Aug 2008. (Submitted)

Contact

Share this profile FacebookTwitterWeibo