BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hall:Jon_G=

Contributed to:

ICSE 20152015
FASE 20072007
SEFM 20072007
Ada-Europe 20042004
RE 20042004
RE 20032003
RE 20022002
IFL 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.