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 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) 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. 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) 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) 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.) At Proc. 5th Int. Conf. Re-technologies for Information Systems (ReTis'97) 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 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), 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) 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 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) 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 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 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.

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

Henderson, P. and Quarendon, P. (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.

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

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

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

Henderson, P. (1977) Structured Program Testing. At Current Trends in Programming Methodology 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 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 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 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 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), 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 Proc. ACM Symp. on Lisp and Functional Programming. pp. 179-187.

Henderson, P. (1982) Purely Functional Operating Systems. At Functional Programming and its Applications 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 SERC Distributed Computer Systems. pp. 290-298.

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

Henderson, P. (1985) Specifications and Programs. At Software, Requirements, Specification and Testing 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), 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.) 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 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 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 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), 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 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 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 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. At 8th IEEE Workshop on Future Trends of Distributed Computing Systems 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 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, 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 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 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) 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 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.

Henderson, Peter (2002) Reasoning about Asynchronous Behaviour in Distributed Systems. At Eigthth IEEE International Conference on Engineering of Complex Computer Systems |(ICECCS'02) 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) 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 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 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 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) 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 OnTheMove Workshops, Cyprus. pp. 39-48.

De Silva, N and Henderson, P (2005) Computer Support for Narrative Structures. At Computers and Writing 2005 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) 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. At The 2007 ACM Syposium on Applied Computing 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) 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) 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.

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) 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Finland. 28 Jul - 01 Aug 2008. (Submitted)

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.

×