Travelled to:1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:W.Hussak J.Sa B.Warboys M.Turner F.Zhu I.A.Kotsiopoulos M.Russell D.Budgen K.H.Bennett P.Brereton P.J.Layzell M.Rigby
Talks about:report (2) formal (2) experi (2) technolog (1) framework (1) parallel (1) determin (1) approach (1) resourc (1) process (1)
Person: John A. Keane
DBLP: Keane:John_A=
Contributed to:
2004
19941994Wrote 3 papers:
- ICSE-2004-TurnerZKRBBBKLR #case study #experience #using #web #web service
- Using Web Service Technologies to Create an Information Broker: An Experience Report (MT, FZ, IAK, MR, DB, KHB, PB, JAK, PJL, MR), pp. 552–561.
- FME-1994-KeaneSW #concurrent #framework #modelling #process
- Applying a Concurrent Formal Framework to Process Modelling (JAK, JS, BW), pp. 291–305.
- ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel
- A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.