Peter Henderson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 53 from 53

2009

Collaborative Development of System Architecture - a Tool for Coping with InconsistencyPeter Henderson, Matthew J. Henderson. seke 2009: 520-525

Consistency Checking for Component Reuse in Open SystemsPeter Henderson, Matthew J. Henderson. icsr 2009: 1-10 [doi]

2008

Utilising Located Functions to Model and Optimise Distributed ComputationsStephen Crouch, Peter Henderson, Robert John Walters. compsac 2008: 488-489 [doi]

System Architecture Induces Document ArchitecturePeter Henderson, Nishadi De Silva. seke 2008: 327-332

2007

2006

A Narrative Approach to Collaborative Writing - A Business Process ModelPeter Henderson, Nishadi De Silva. ICEIS 2006: 166-173

2005

Web Service Grids: an evolutionary approachMalcolm P. Atkinson, David De Roure, Alistair N. Dunlop, Geoffrey Fox, Peter Henderson, Anthony J. G. Hey, Norman W. Paton, Steven Newhouse, Savas Parastatidis, Anne E. Trefethen, Paul Watson, Jim Webber. concurrency, 17(2-4):377-389, 2005. [doi]

Building Applications Able to Cope with Problematic Data Using a Datawarp ApproachStephen Crouch, Peter Henderson, Robert John Walters. ICEIS 2005: 411-414

Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural frameworkPeter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni. jss, 76(1):65-76, 2005. [doi]

A Practical Modelling Notation for Secure Distributed ComputationYih-Jiun Lee, Peter Henderson. aina 2005: 439-442 [doi]

Narrative Support for Technical Documents: Formalising Rhetorical Structure TheoryNishadi De Silva, Peter Henderson. ICEIS 2005: 105-110

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services CompositionJingtao Yang, Corina Cîrstea, Peter Henderson. otm 2005: 39-48 [doi]

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services CoordinationJingtao Yang, Corina Cîrstea, Peter Henderson. ehci 2005: 446-451 [doi]

2004

Implementing Hierarchical Features in a Graphically Based Formal Modelling LanguagePeter Henderson, Robert John Walters, Stephen Crouch. compsac 2004: 92-98 [doi]

Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information PropagationPeter Henderson, Stephen Crouch, Robert John Walters. ICEIS 2004: 473-481

Reusable Web ServicesPeter Henderson, Jingtao Yang. icsr 2004: 185-194 [doi]

2003

2002

2001

2000

Simulating a process strategy for large scale software development using systems dynamicsPeter Henderson, Yvonne Margaret Howard. sopr, 5(2-3):121-131, 2000.

Has our curriculum become math-phobic? (an American perspective)Charles Kelemen, Allen B. Tucker, Peter Henderson, Owen L. Astrachan, Kim B. Bruce. iticse 2000: 132-135 [doi]

1999

An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration ProjectsBrian W. Chatters, Peter Henderson, Chris Rostron. euromicro 1999: 2177-2184 [doi]

Editorial: Systems engineering for business process changePeter Henderson. iee, 146(3):129, 1999.

System Design Validation Using Formal ModelsPeter Henderson, Robert John Walters. rsp 1999: 10-14 [doi]

Component-based Systems as an Aid to Design ValidationPeter Henderson, Robert John Walters. ASE 1999: 303-306 [doi]

1998

An Empirical Study of the Evolution of a Software SystemR. Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson. ASE 1998: 293-296 [doi]

Laws for dynamic systemsPeter Henderson. icsr 1998: 330-336 [doi]

RolEnact: role-based enactable models of business processesKeith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe. INFSOF, 40(3):123-133, 1998. [doi]

1996

Executing formal specifications need not be harmfulAndrew M. Gravell, Peter Henderson. iee, 11(2):104-110, 1996. [doi]

1995

POSD-a notation for presenting complex systems of processesPeter Henderson, Graham D. Pratten. ICECCS 1995: 125 [doi]

1989

Academic/industrial collaboration in a postgraduate MSc course in Software EngineeringDavid Budgen, Peter Henderson, Chic Rattray. jss, 10(4):261-266, 1989. [doi]

1987

Modern introductory computer sciencePeter Henderson. sigcse 1987: 183-190 [doi]

1982

Functional GeometryPeter Henderson. lfp 1982: 179-187

1980

Functional programming - application and implementationPeter Henderson. Prentice Hall International Series in Computer Science, Prentice Hall, 1980.

1977

An Approach to Compile-Time Type CheckingPeter Henderson. ifip11-9 1977: 523-527

1976

A Lazy EvaluatorPeter Henderson, James H. Morris Jr.. POPL 1976: 95-103

1974

A Tool for Structured Program DevelopmentPeter Henderson, Robert A. Snowdon. ifip 1974: 204-207

Finite state testing of structured programsPeter Henderson, Peter Quarendon. programm 1974: 72-80

1972

Derived Semantics for Some Programming Language ConstructsPeter Henderson. CACM, 15(11):967-973, 1972.

1971

Derived Semantics for Some Programming Language ConstructsPeter Henderson. IJCAI 1971: 490-496

1970

The design and semantic analysis of a programming language and its compilerPeter Henderson. PhD thesis, University of Newcastle, New South Wales, Australia, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL