Travelled to:
1 × Cyprus
1 × Finland
1 × Korea
1 × Portugal
5 × USA
Collaborated with:
N.D.Silva R.J.Walters S.Crouch M.J.Henderson ∅ J.H.M.Jr. R.M.Greenwood B.Warboys R.Harrison C.Kelemen A.B.Tucker O.L.Astrachan K.B.Bruce
Talks about:
system (6) architectur (3) document (2) collabor (2) narrat (2) inform (2) model (2) curriculum (1) inconsist (1) enterpris (1)
Person: Peter Henderson
DBLP: Henderson:Peter
Contributed to:
Wrote 11 papers:
- SEKE-2009-HendersonH #architecture #collaboration #consistency #development #nondeterminism
- Collaborative Development of System Architecture — a Tool for Coping with Inconsistency (PH, MJH), pp. 520–525.
- SEKE-2008-HendersonS #architecture #documentation
- System Architecture Induces Document Architecture (PH, NDS), pp. 327–332.
- SAC-2007-WaltersHC #algorithm #distributed
- Selecting a distributed agreement algorithm (RJW, PH, SC), pp. 586–587.
- ICEIS-SAIC-2006-HendersonS #approach #collaboration #process
- A Narrative Approach to Collaborative Writing — A Business Process Model (PH, NDS), pp. 166–173.
- ICEIS-v4-2005-SilvaH #documentation #formal method
- Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory (NDS, PH), pp. 105–110.
- ICEIS-v1-2004-HendersonW #enterprise #modelling #simulation
- Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation (PH, SC, RJW), pp. 473–481.
- ITiCSE-2000-KelemenTHAB #education
- Has our curriculum become math-phobic? (an American perspective) (CK, ABT, PH, OLA, KBB), pp. 132–135.
- ASE-1999-HendersonW #component #design #validation
- Component-based Systems as an Aid to Design Validation (PH, RJW), pp. 303–306.
- ASE-1998-GreenwoodWHH #empirical #evolution
- An Empirical Study of the Evolution of a Software System (RMG, BW, RH, PH), pp. 293–296.
- LFP-1982-Henderson #functional #geometry
- Functional Geometry (PH), pp. 179–187.
- POPL-1976-HendersonM #lazy evaluation
- A Lazy Evaluator (PH, JHMJ), pp. 95–103.