Peter Henderson

Publication Activity (10 Years)

Years Active: 1971-2009
Publications (10 Years): 0

University of Newcastle upon Tyne, UK (PHD)

Education History

University of Newcastle upon Tyne, UK

PHD

Publications

Peter Henderson, Matthew J. Henderson
Collaborative Development of System Architecture - a Tool for Coping with Inconsistency. SEKE (2009)
Peter Henderson, Matthew J. Henderson
Consistency Checking for Component Reuse in Open Systems. ICSR (2009)
Stephen Crouch, Peter Henderson, Robert John Walters
Utilising Located Functions to Model and Optimise Distributed Computations. COMPSAC (2008)
Peter Henderson, Nishadi De Silva
System Architecture Induces Document Architecture. SEKE (2008)
Nishadi De Silva, Peter Henderson
Narrative-based writing for coherent technical documents. SIGDOC (2007)
Robert John Walters, Peter Henderson, Stephen Crouch
Selecting a distributed agreement algorithm. SAC (2007)
Bruno Schulze, Geoff Coulson, Radha Nandkumar, Peter Henderson
Special Issue: Middleware for Grid Computing: A 'Possible Future'. Concurr. Comput. Pract. Exp. 19 (14) (2007)
Stephen Crouch, Peter Henderson, Robert John Walters
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. COMPSAC (1) (2007)
Peter Henderson, Nishadi De Silva
A Narrative Approach to Collaborative Writing - A Business Process Model. ICEIS (4) (2006)
Nishadi De Silva, Peter Henderson
Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory. ICEIS (4) (2005)
Jingtao Yang, Corina Cîrstea, Peter Henderson
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. OTM Workshops (2005)
Malcolm P. Atkinson, David De Roure, Alistair N. Dunlop, Geoffrey C. Fox, Peter Henderson, Anthony J. G. Hey, Norman W. Paton, Steven Newhouse, Savas Parastatidis, Anne E. Trefethen, Paul Watson, Jim Webber
Web Service Grids: an evolutionary approach. Concurr. Pract. Exp. 17 (2-4) (2005)
Yih-Jiun Lee, Peter Henderson
A Practical Modelling Notation for Secure Distributed Computation. AINA (2005)
Jingtao Yang, Corina Cîrstea, Peter Henderson
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. QSIC (2005)
Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework. J. Syst. Softw. 76 (1) (2005)
Stephen Crouch, Peter Henderson, Robert John Walters
Building Applications Able to Cope with Problematic Data Using a Datawarp Approach. ICEIS (1) (2005)
Peter Henderson, Jingtao Yang
Reusable Web Services. ICSR (2004)
Peter Henderson, Stephen Crouch, Robert John Walters
Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation. ICEIS (1) (2004)
Peter Henderson, Robert John Walters, Stephen Crouch
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. COMPSAC (2004)
Peter Henderson, Robert John Walters, Stephen Crouch, Qinglai Ni
DataWarp: Building Applications Which Make Progress in an Inconsistent World. DAIS (2003)
Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
Effects of Introducing Survival Behaviours into Automated Negotiators. COMPSAC (2003)
Peter Henderson
Functional Geometry. High. Order Symb. Comput. 15 (4) (2002)
Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach. Agent Technologies, Infrastructures, Tools, and Applications for E-Services (2002)
Peter Henderson
Reasoning about Asynchronous Behaviour in Distributed Systems. ICECCS (2002)
Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson
Extending the concept of transaction compensation. IBM Syst. J. 41 (4) (2002)
Peter Henderson, Yvonne Margaret Howard, Robert John Walters
A tool for evaluation of the software development process. J. Syst. Softw. 59 (3) (2001)
Peter Henderson, B. Walters, Stephen Crouch
Inconsistency Tolerance across Enterprise Solutions. FTDCS (2001)
Peter Henderson, Robert John Walters
Behavioural analysis of component-based systems. Inf. Softw. Technol. 43 (3) (2001)
Peter Henderson, Yvonne Margaret Howard
Simulating a process strategy for large scale software development using systems dynamics. Softw. Process. Improv. Pract. 5 (2-3) (2000)
Peter Henderson, Robert John Walters
System Design Validation Using Formal Models. IEEE International Workshop on Rapid System Prototyping (1999)
Peter Henderson
Editorial: Systems engineering for business process change. IEE Proc. Softw. 146 (3) (1999)
Peter Henderson, Robert John Walters
Component-based Systems as an Aid to Design Validation. ASE (1999)
Brian W. Chatters, Peter Henderson, Chris Rostron
An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects. EUROMICRO (1999)
Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe
RolEnact: role-based enactable models of business processes. Inf. Softw. Technol. 40 (3) (1998)
Peter Henderson
Laws for dynamic systems. ICSR (1998)
Robert Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson
An Empirical Study of the Evolution of a Software System. ASE (1998)
Andrew M. Gravell, Peter Henderson
Executing formal specifications need not be harmful. Softw. Eng. J. 11 (2) (1996)
Peter Henderson, Graham D. Pratten
POSD-a notation for presenting complex systems of processes. ICECCS (1995)
David Budgen, Peter Henderson, Chic Rattray
Academic/industrial collaboration in a postgraduate MSc course in Software Engineering. J. Syst. Softw. 10 (4) (1989)
Peter Henderson
Functional Geometry. Symposium on LISP and Functional Programming (1982)
Peter Henderson
An Approach to Compile-Time Type Checking. IFIP Congress (1977)
Peter Henderson, James H. Morris Jr.
A Lazy Evaluator. POPL (1976)
Peter Henderson
Finite state modelling in program development. Reliable Software (1975)
Peter Henderson, Robert A. Snowdon
A Tool for Structured Program Development. IFIP Congress (1974)
Peter Henderson, Peter Quarendon
Finite state testing of structured programs. Symposium on Programming (1974)
Peter Henderson
Derived Semantics for Some Programming Language Constructs. Commun. ACM 15 (11) (1972)
Peter Henderson
Derived Semantics for Some Programming Language Constructs. IJCAI (1971)

Peter Henderson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Peter Henderson