| Peter Henderson (2004) Systems Engineering for Business Process Change - New Directions, Springer, 398pp,
Amazon
|
| Peter Henderson (2000) Systems Engineering for Business Process Change, Springer, 314pp,
Amazon
|
| Peter Henderson (1993) Object-oriented Specification and Design with C++ , McGraw Hill, 288pp,
Amazon
|
| John Darlington, Peter Henderson and David Turner (eds) (1982) Functional Programming and its Applications, an advanced course, Cambridge University Press, 317pp,
Amazon
|
| Peter Henderson (1980) Functional Programming - Application and Implementation, Prentice-Hall, 350pp,
Amazon
|
|
Nishadi De Silva and Peter Henderson (2007), Narrative-based writing for
Coherent Technical Documents, SIGDOC 07, October 22-24, 2007, El Paso,
Texas, USA (pdf) |
| Stephen Crouch, Peter Henderson and R. J. Walters (2007)
DataWarp: Empowering Applications to Make Progress in the Face of
Contradictory or Inconsistent Data. 31st Annual
IEEE International Computer Software and Applications Conference, Beijing,
China, July 23-27, 2007. (pdf) |
| R. J. Walters, Peter Henderson and Stephen Crouch (2007)
Selecting a distributed agreement algorithm. Presented at The 22nd
Annual ACM Symposium on Applied Computing, COEX Convention Centre, Seoul,
Korea, March 11-15, 2007. (pdf) |
| Yang, J., Cirstea, C. and Henderson, P. (2005) Document
Flow Model: A Formal Notation for Modelling Asynchronous Web Services
Composition. In Proceedings of OnTheMove Workshops, pages pp.
39-48, Cyprus. [pdf] |
| Malcolm Atkinson, David DeRoure, Alistair Dunlop, Geoffrey
Fox, Peter Henderson, Tony Hey, Norman Paton, Steven Newhouse, Savas
Parastatidis, Anne Trefethen, Paul Watson, Jim Webber. (2005) Web Service
Grids: an evolutionary approach, Concurrency and Computation:
Practice and Experience. Vol.17, No. 2-4, pp 377-389 (pdf) |
| Yang, J., Cirstea, C. and Henderson, P. (2005) An
Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous
Web Services. In Proceedings of The 5th International Conference on
Quality Software (QSIC 2005), pages pp. 446-451, Melbourne, Australia. [pdf] |
| De Silva, N and Henderson,P . (2005) Computer Support
for Narrative Structures. In Proceedings of Computers and Writing 2005,
Stanford University, California, USA. [pdf] |
| De Silva, N. and Henderson, P. (2005) Narrative support
for technical documents: Formalising Rhetorical Structure Theory. In
Proceedings of International Conference on Enterprise Information Systems (ICEIS),
Miami, FL, USA. [pdf] |
| Crouch, S., Henderson, P. and Walters, R. J. (2005)
Building Applications able to cope with problematic data using a DataWarp
approach. In Proceedings of Seventh International Conference on
Enterprise Information Systems 1, pages pp. 411-414, Miami, USA. Chen, C.
S., Filipe, J., Seruca, I. and Cordeiro, J., Eds. [pdf] |
| Peter Henderson., Crouch, S., Walters, R. J. and Ni, Q. (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. [pdf] |
| Peter Henderson, R.J. Walters, and S. Crouch,
Implementing Hierarchical Features in a Graphically Based Formal Modelling
Language, 28th Annual International Computer Software and Applications
Conference (COMPSAC 2004), Hong Kong, 2004, pp. ?[pdf] |
| *Peter Henderson and Jingtao Yang, Reusable Web Services,
8th International Conference on Software Reuse (ICSR 2004), IEEE
Computer Society Press [pdf] |
| Peter Henderson, R.J. Walters, and S. Crouch,
Information Invasion in Enterprise Systems, Sixth International
Conference on Enterprise Systems (ICEIS 2004), Porto, Portugal, 14-17 April,
2004. [pdf] |
| Peter Henderson, Robert Walters, Stephen Crouch and Qinglai Ni,
DataWarp: Building applications which make progress in an inconsistent
world, 4th IFIP International Conference on Distributed Applications and
Interoperable Systems (DAIS 2003), Paris, France, November 2003. [pdf] |
| Peter Henderson, Robert Walters, Stephen Crouch and Qinglai Ni,
Effects of Introducing Survival Behaviours into Automated Negotiators,
27th Annual International Computer Software and Applications Conference (COMPSAC
2003), Dallas, Texas, November 2003. [pdf] |
| Peter Henderson, Modelling Architectures for Dynamic Systems,
in Programming Methodology, Eds Annabelle McIver and Carroll
Morgan, Springer-Verlag New York Inc.; ISBN: 0387953493 , (2003) [pdf] |
| *Peter Henderson, Functional Geometry, Higher Order and
Symbolic Computation, Vol 15, pp349-365, 2002 [pdf]
[earlier 1982 paper pdf] |
| *Peter Henderson. Reasoning about Asynchronous Behaviour in Distributed Systems,
The Eighth IEEE International Conference on Engineering of Complex Computer Systems
(ICECCS'02), (2002) [pdf] |
| Peter Henderson, Bob Walters, Stephen Crouch and Qinglai Ni, A comparison of
some negotiation algorithms, in Agent Technologies,
Infrastructure, Tools and Applications for E-Services, Springer-Verlag,
Lecture Notes in AI, Vol. 2592, pp 137-150 (2003) proceedings of NODe 2002
Agent-Related Workshops, Erfurt, October 2002 ISBN 3-540-00742-3 [pdf] |
| Mandy Chessell, Catherine Griffin, David Vines, Michael Butler, Carla Ferreira and
Peter Henderson. Extending the Concept of Transaction Compensation. IBM
Systems Journal, VOL 41, NO 4,. 2002. |
| Peter Henderson, Asset Mapping - developing inter-enterprise solutions from
legacy components, in Systems Engineering for Business Process Change -
New Directions, Springer-Verlag UK, pp 1-12, (2002) [pdf] |
| Peter Henderson, Bob Walters and Stephen Crouch, Reasoning about Information
Consistency across Enterprise Solutions, in Systems Engineering for Business
Process Change - New Directions, Springer-Verlag UK, pp 367-371 (2002) [pdf] |
| Peter Henderson, Bob Walters and Stephen Crouch, Inconsistency Tolerance
across Enterprise Solutions, 8th IEEE Workshop on Future Trends of Distributed
Computing Systems (FTDCS'01), pp 164-169 (2001) [pdf] |
| Peter Henderson and Bob Walters, Behavioural Analysis of
Component-Based Systems, Information and Software Technology, Vol 43, No
3, pp 161-169 (2001)[pdf] |
| Peter Henderson, Yvonne Howard and Bob Walters, A
tool for evaluation of the Software Development Process, Journal of Systems
and Software, Vol 59, No 3, pp 355-362 (2001) [pdf] |
| Peter Henderson and Bob Walters, Component Based systems as an aid to Design
Validation Proceedings14th IEEE Conference on Automated Software
Engineering, ASE’99, IEEE Computer Society Press, 1999 [pdf] |
| Brian Chatters, Peter Henderson and Chris Rostron, An Experiment to Improve
Cost Estimation and Project Tracking for Software and Systems Integration Projects),
EuroMicro 99, Milan, September 1999 [pdf] |
| Peter Henderson and Bob Walters System Design Validation Using
Formal Models,10th IEEE International Workshop in Rapid System
Prototyping, June 99, Clearwater, USA [pdf] |
| Brian Chatters, Peter Henderson and Chris Rostron, SIMMER:
Software and Systems Integration, Modelling, Metrics and Risks (Getting to Level 4),
EuroSPI 98, Goteborg, November 1998 [pdf] |
| R. Mark Greenwood, Brian Warboys, Rachel Harrison and Peter Henderson, An
Empirical Study of the Evolution of a Software System, Automated Software
Engineering - ASE-98, 13th IEEE International Conference, October 13-16, 1998 |
| Peter Henderson, Laws for Dynamic Systems, International
Conference on Software Re-Use (ICSR 98), Victoria, Canada, June 1998, IEEE Computer
Society Press [pdf] |
| Keith Phalp, Peter Henderson, Geetha Abeysinghe and Bob Walters, RolEnact -
Role Based Enactable Models of Business Processes, Information And Software
Technology, 40(3) (1998) 123-133. [pdf] |
| Brian Chatters, Peter Henderson, Chris Rostron, The
Cellular Manufacturing Process Model: Planning a Complex Software And Systems Integration
Project, in: Proceedings of the European Software Measurement Conference, pp.
559-564, Technologisch Instituut vzw, 1998 |
| Peter Henderson, Formal Models of Process Components,
presented at the Workshop on Foundations of Component Based Systems, Zurich,
September 1997, [html]
[postscript] |
| Geetha Abeysinghe, Peter Henderson, Keith Phalp and Bob Walters, An Audience
Centred Approach to Modelling for Business Process ReEngineering, ReTIS 97,
5th International Conference on Re-Technologies for Information Systems, Klagenfurt,
December 1997, [pdf] |
| Andy Gravell and Peter Henderson, Executing Formal Specifications Need Not Be
Harmful, A version of this paper appeared in the IEE/BCS Software Engineering
Journal in March 1996, [postscript] |
| Peter Henderson and Graham Pratten, POSD - Process Oriented System Design
. A revised version of this paper was published at the IEEE International Conference
on Complex Computer Systems, IEEE Computer Society Press, November 1995, [pdf] |