Travelled to:1 × Germany
1 × Italy
1 × Japan
1 × Portugal
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:L.Rapanotti M.Jackson P.W.Trinder D.J.King A.J.Hilton B.Nuseibeh D.Mannering C.A.Baker-Finch R.C.Laney M.Wermelinger L.Barroca M.Ramage A.K.Bandara
Talks about:softwar (5) engin (4) problem (3) architectur (2) parallel (2) toward (2) system (2) requir (2) design (2) decomposit (1)
Person: Jon G. Hall
DBLP: Hall:Jon_G=
Contributed to:
2015
2007
2007
2004
200420032002
1998Wrote 10 papers:
- ICSE-v2-2015-HallR #education #re-engineering #student
- Masters-Level Software Engineering Education and the Enriched Student Context (JGH, LR), pp. 311–314.
- ICSE-v2-2015-WermelingerHRBR #education
- Teaching Software Systems Thinking at The Open University (MW, JGH, LR, LB, MR, AKB), pp. 307–310.
- FASE-2007-ManneringHR #design #safety #towards
- Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.
- SEFM-2007-HallRJ #framework #problem #re-engineering
- Problem Oriented Software Engineering: A design-theoretic framework for software engineering (JGH, LR, MJ), pp. 15–24.
- AdaEurope-2004-HiltonH #ada #logic #programmable
- High-Integrity Interfacing to Programmable Logic with Ada (AJH, JGH), pp. 249–260.
- RE-2004-RapanottiHJN #architecture #composition #problem
- Architecture-driven Problem Decomposition (LR, JGH, MJ, BN), pp. 80–89.
- RE-2003-HallR #requirements
- A Reference Model for Requirements Engineering (JGH, LR), pp. 181–187.
- RE-2002-HallJLNR #architecture #problem #requirements #using
- Relating Software Requirements and Architectures Using Problem Frames (JGH, MJ, RCL, BN, LR), pp. 137–144.
- IFL-1998-HallBTK #functional #parallel #semantics #strict #towards
- Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
- IFL-1998-KingHT #haskell #parallel #profiling
- A Strategic Profiler for Glasgow Parallel Haskell (DJK, JGH, PWT), pp. 88–102.