Peter Henderson

According to our database, Peter Henderson authored at least 47 papers between 1970 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Collaborative Development of System Architecture - a Tool for Coping with Inconsistency.

Peter Henderson, Matthew J. Henderson

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Consistency Checking for Component Reuse in Open Systems.

Peter Henderson, Matthew J. Henderson

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

System Architecture Induces Document Architecture.

Peter Henderson, Nishadi De Silva

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Utilising Located Functions to Model and Optimise Distributed Computations.

Stephen Crouch, Peter Henderson, Robert John Walters

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Special Issue: Middleware for Grid Computing: A 'Possible Future'.

Bruno Schulze, Geoff Coulson, Radha Nandkumar, Peter Henderson

Concurr. Comput. Pract. Exp., 2007

Narrative-based writing for coherent technical documents.

Nishadi De Silva, Peter Henderson

Proceedings of the 25th Annual International Conference on Design of Communication, 2007

Selecting a distributed agreement algorithm.

Robert John Walters, Peter Henderson, Stephen Crouch

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data.

Stephen Crouch, Peter Henderson, Robert John Walters

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

A Narrative Approach to Collaborative Writing - A Business Process Model.

Peter Henderson, Nishadi De Silva

Proceedings of the ICEIS 2006, 2006

2005

Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework.

Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni

J. Syst. Softw., 2005

Web Service Grids: an evolutionary approach.

Malcolm P. Atkinson, David De Roure, Alistair N. Dunlop, Geoffrey C. Fox, Peter Henderson, Anthony J. G. Hey, Norman W. Paton, Steven J. Newhouse, Savas Parastatidis, Anne E. Trefethen, Paul Watson, Jim Webber

Concurr. Pract. Exp., 2005

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.

Jingtao Yang, Corina Cîrstea, Peter Henderson

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition.

Jingtao Yang, Corina Cîrstea, Peter Henderson

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory.

Nishadi De Silva, Peter Henderson

Proceedings of the ICEIS 2005, 2005

Building Applications Able to Cope with Problematic Data Using a Datawarp Approach.

Stephen Crouch, Peter Henderson, Robert John Walters

Proceedings of the ICEIS 2005, 2005

A Practical Modelling Notation for Secure Distributed Computation.

Yih-Jiun Lee, Peter Henderson

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004

Reusable Web Services.

Peter Henderson, Jingtao Yang

Proceedings of the Software Reuse: Methods, 2004

Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation.

Peter Henderson, Stephen Crouch, Robert John Walters

Proceedings of the ICEIS 2004, 2004

Implementing Hierarchical Features in a Graphically Based Formal Modelling Language.

Peter Henderson, Robert John Walters, Stephen Crouch

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

DataWarp: Building Applications Which Make Progress in an Inconsistent World.

Peter Henderson, Robert John Walters, Stephen Crouch, Qinglai Ni

Proceedings of the Distributed Applications and Interoperable Systems, 2003

Effects of Introducing Survival Behaviours into Automated Negotiators.

Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

Functional Geometry.

Peter Henderson

High. Order Symb. Comput., 2002

Extending the concept of transaction compensation.

Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson

IBM Syst. J., 2002

Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach.

Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni

Proceedings of the Agent Technologies, 2002

Reasoning about Asynchronous Behaviour in Distributed Systems.

Peter Henderson

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001

A tool for evaluation of the software development process.

Peter Henderson, Yvonne Margaret Howard, Robert John Walters

J. Syst. Softw., 2001

Behavioural analysis of component-based systems.

Peter Henderson, Robert John Walters

Inf. Softw. Technol., 2001

Inconsistency Tolerance across Enterprise Solutions.

Peter Henderson, B. Walters, Stephen Crouch

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

2000

Simulating a process strategy for large scale software development using systems dynamics.

Peter Henderson, Yvonne Margaret Howard

Softw. Process. Improv. Pract., 2000

1999

Editorial: Systems engineering for business process change.

Peter Henderson

IEE Proc. Softw., 1999

System Design Validation Using Formal Models.

Peter Henderson, Robert John Walters

Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Component-based Systems as an Aid to Design Validation.

Peter Henderson, Robert John Walters

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects.

Brian W. Chatters, Peter Henderson, Chris Rostron

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

RolEnact: role-based enactable models of business processes.

Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe

Inf. Softw. Technol., 1998

An Empirical Study of the Evolution of a Software System.

Robert Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Laws for dynamic systems.

Peter Henderson

Proceedings of the Fifth International Conference on Software Reuse, 1998

1996

Executing formal specifications need not be harmful.

Andrew M. Gravell, Peter Henderson

Softw. Eng. J., 1996

1995

POSD-a notation for presenting complex systems of processes.

Peter Henderson, Graham D. Pratten

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1989

Academic/industrial collaboration in a postgraduate MSc course in Software Engineering.

David Budgen, Peter Henderson, Chic Rattray

J. Syst. Softw., 1989

1980

Functional programming - application and implementation.

Peter Henderson

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-331579-0, 1980

1977

An Approach to Compile-Time Type Checking.

Peter Henderson

Proceedings of the Information Processing, 1977

1976

A Lazy Evaluator.

Peter Henderson, James H. Morris Jr.

Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

1975

Finite state modelling in program development.

Peter Henderson

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Finite state testing of structured programs.

Peter Henderson, Peter Quarendon

Proceedings of the Programming Symposium, 1974

A Tool for Structured Program Development.

Peter Henderson, Robert A. Snowdon

Proceedings of the Information Processing, 1974

1972

Derived Semantics for Some Programming Language Constructs.

Peter Henderson

Commun. ACM, 1972

1970

The design and semantic analysis of a programming language and its compiler.

Peter Henderson

PhD thesis, 1970