The Open University

Professional biography

Dr Jon Hall is a professional problem solver, with a research portfolio in use by large and small organisations the world over. He has a PhD in process modelling from University of Newcastle-upon-Tyne and an MBA from The Open University.

Jon is a Chartered Engineer and Scientist, a Senior Fellow of the HEA, a Fellow of the Institute of Science and Technology, of the BCS and of the Chartered Institute of Educational Assessors. He is a Liveryman of the Worship Company of Information Technologists and has chaired their Education and Training Committee.

He writes a regular column on Insight:Leadeship for BCS, The Chartered Institute for IT, in their membership magazine ITNOW.

Research interests

Jon Hall is a leading research scientist in problem solving with over 100 peer reviewed publications. He has extensive experience in designing, leading and evaluating research programmes in many fields, including organisational change, fin tech, safety-critical systems, and project management and has a long history of delivering excellent value to business. He has successfully chaired many scientific, governance and leadership committees and boards, and provided business evaluations for many companies. His work has influenced industrial practice both directly and through contributions to international standards.

In terms of his personal research, Jon began his scientific career as a logician in Newcastle and York Universities, conducting research on engineering alongside Professor John McDermid, FREng, one of the leading proponents of the use of mathematics in engineering. After researching logic for many years, Jon began to apply the techniques to software engineering and then more broadly across engineering, finding deep links between ostensibly different areas. His most recent research explores problem solving structures that bridge the chasm between agile and plan-driven approaches to solving complex problems holding out the hope that wicked problems, previously unsolvable, will soon be effectively understood and treatable.

Teaching interests

Jon's pioneered the OU's innovative CyberSecurity curriculum back in 2003. Since then, the CyberSecurity curriculum has expanded from CPD (continuing professional development) to postgraduate and undergraduate modules. His modules are being taught across the globe.

He has extensive external examiner experience including for PhDs, MPhil and on the University of York's CyberSecurity MSc.

Impact and engagement

The client portfolio for Jon's innovative problem solving research includes Siemens, Webasto, General Dynamics UK (including in the development of the Lynx Helicopter), Bank of America, BAE Systems, MoD, UN FAO, UK FCO, The Open University GreenPeace UK and many other organisations worldwide.

Jon has also helped author international business standards (ISO/IEC).

External collaborations

Jon is co-founder of the OU's Open to Change movement ('Let's change change'), is Director of Education for Synexus.solutions, Chairs the Digital Policy Alliance Digital Skills Workforce alongside Lord Lucas.

Jon runs the student intership project ALPHAs at the Open University (£2m partnership with Bedfordshire and Northampton Unis). He is Company Secretary for CDBU, an exec member of The Chartered Institute for IT's Computing Leadership Forum, and a Liveryman of The Worshipful Cmpany of Information Technologists.

Jon is Editor in Chief of Wiley's Expert Systems: The Journal of Knowledge Engineering. Miriam Maus, Vice President of Editorial Management for John Wiley, writes: "Jon leads and engages Wiley’s academic and professional Expert Systems, Artificial Intelligence, and Machine Learning communities, bringing deep insight and innovation to our practices and providing the best possible experience to authors, readers and reviewers."

International links

Jon has led an Iinternational community of scholars in his 12-year tenure as Editor-in-Chief of John Wiley's Expert Systems: The Journal of Knowledge Engineering. Miriam Maus, Vice President of Editorial Management for John Wiley, says "Jon leads and engages Wiley’s academic and professional Expert Systems, Artificial Intelligence, and Machine Learning communities, bringing deep insight and innovation to our practices and providing the best possible experience to authors, readers and reviewers."

Publications

Journal articles

[Editorial] Expert systems and risk analytics in service engineering (2022-02)
Wu, Desheng Dash and Hall, Jon
Expert Systems, 39, Article e12909(2)

Using complexity and volatility characteristics to guide hybrid project management (2021-07-06)
Costantini, Silvana; Hall, Jon G. and Rapanotti, Lucia
International Journal of Managing Projects in Business, 14(5) (pp. 1135-1162)

Insight: Leadership - What makes a good leader? (2021-02-16)
Hall, Jon G
ITNOW, 63(1) (p 46)

Insight: Leadership - The Guilty Digital Leader (2021)
Hall, Jon G.
ITNOW, 63(2) (p 38)

Insight: Leadership — Random Acts of Authenticity (2021)
Hall, Jon G.
ITNOW, 63(3) (p 36)

Insight: Leadership — The Human Cost of Knowledge Debt (2021)
Hall, Jon G.
ITNOW, 63(4)

The impact engineer—Weaving the Golden Braid (2020-12-06)
Davies, Gareth and Hall, Jon
Expert Systems, 37, Article e12646(6)

POE-Δ: Towards an engineering framework for solving change problems (2019)
Markov, Georgi; Hall, Jon G. and Rapanotti, Lucia
Systems Research and Behavioral Science, 36(1) (pp. 53-65)

Insights from a text mining survey on Expert Systems research from 2000 to 2016 (2018-06)
Cortez, Paulo; Moro, Sérgio; Rita, Paulo; King, David and Hall, Jon
Expert Systems: The Journal of Knowledge Engineering, 35, Article e12280(3)

A design theory for software engineering (2017-07)
Hall, Jon G. and Rapanotti, Lucia
Information and Software Technology, 87 (pp. 46-61)

Safety Engineering with COTS components (2017-04)
O'Halloran, Mark; Hall, Jon G. and Rapanotti, Lucia
Reliability Engineering & System Safety, 160 (pp. 54-66)

On the systematic transformation of requirements to specifications (2014-11)
Li, Zhi; Hall, Jon and Rapanotti, Lucia
Requirements Engineering, 19(4) (pp. 397-419)

Design rationale capture for process improvement in the globalised enterprise: an industrial study (2013-10)
Nkwocha, A.; Hall, J. G. and Rapanotti, L.
Software and Systems Modeling, 12(4) (pp. 825-845)

Enterprise Architecture: a snapshot from practice (2013-09-13)
Clark, Michael; Hall, Jon G. and Rapanotti, Lucia
International Journal of IT/Business Alignment and Governance, 4(1) (pp. 1-10)

Editorial: Is tangled the new wicked? (2013-05)
Hall, Jon G.
Expert Systems: The Journal of Knowledge Engineering, 30(2) (p 128)

Beauty in software engineering (2013-02)
Hall, Jon G. and Rapanotti, Lucia
Computer, 46(2) (pp. 85-87)

Enterprising research skills: academia's changing role (2013)
Hall, Jon G. and Rapanotti, Lucia
International Journal of Learning and Intellectual Capital, 10(1) (pp. 1-17)

Editorial (2013)
Hall, Jon
Expert Systems, 30(1) (pp. 1-2)

Software engineering as the design theoretic transformation of software problems (2012)
Hall, Jon G. and Rapanotti, Lucia
Innovations in Systems and Software Engineering, 8(3) (pp. 175-193)

Computing education that doesn't compute (2012)
Hall, Jon G.
Expert Systems: The Journal of Knowledge Engineering, 29(3) (pp. 213-215)

The cult of the (so-called) Expert System (2012)
Hall, Jon G.
Expert Systems: The Journal of Knowledge Engineering, 29(2) (pp. 105-107)

Editorial: building the knowledge society begins with breakfast (2011-09)
Hall, Jon G.
Expert Systems: The Journal of Knowledge Engineering, 28(4) (pp. 283-284)

Design concerns in the engineering of virtual worlds for learning (2011)
Rapanotti, Lucia and Hall, Jon G.
Behaviour & Information Technology, 30(1) (pp. 27-37)

Editorial: On tangling (2010-11)
Hall, J. G
Expert Systems: The Journal of Knowledge Engineering, 27(5) (311 - 313)

Investigating agent influence and nested other-agent behaviour (2010-09)
Logie, Robert; Hall, Jon G. and Waugh, Kevin G.
International Journal On Advances in Intelligent Systems, 3(1&2) (pp. 106-120)

Editorial: Understanding large blue tangles (2010-07)
Hall, J. G
Expert Systems: The Journal of Knowledge Engineering, 27(3) (pp. 143-145)

Editorial: Thinking inside the box (2010-05)
Hall, J. G
Expert Systems: The Journal of Knowledge Engineering, 27(2) (pp. 71-74)

Editorial: Welcome to Volume 27, Issue 1 (2010-02)
Hall, J. G
Expert Systems: The Journal of Knowledge Engineering, 27(1) (pp. 1-2)

Editorial: The polychronic economy (2009-11)
Hall, Jon G.
Expert Systems, 26(5) (pp. 361-363)

Assurance-driven design in Problem Oriented Engineering (2009-10)
Hall, Jon and Rapanotti, Lucia
International Journal on Advances in Systems and Measurements, 2(1) (pp. 119-130)

Editorial: 34957+70764=105621 (2009-09)
Hall, Jon.G.
Expert Systems: The Journal of Knowledge Engineering, 26(4) (pp. 305-306)

Editorial: A singular intelligence (2009-07)
Hall, J. G.
Expert Systems: The Journal of Knowledge Engineering, 26(3) (pp. 247-248)

Editorial: Beachbrains (2009-05)
Hall, J. G.
Expert Systems: The Journal of Knowledge Engineering, 26(2) (pp. 145-146)

Editorial: 1983 and all that (2009-02)
Hall, J. G.
Expert Systems: The Journal of Knowledge Engineering, 26(1) (pp. 1-2)

Problem Oriented Software Engineering: solving the package router control problem (2008-04)
Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael
IEEE Transactions on Software Engineering, 34(2) (pp. 226-241)

A conceptual model for the analysis of mishaps in human-operated safety-critical systems (2008)
Hall, Jon and Silva, Andrés
Safety Science, 46(1) (pp. 22-37)

Special issue on applications and advances in problem frames (2008)
Hall, Jon G.; Rapanotti, Lucia; Cox, Karl and Jin, Zhi
Expert Systems, 25(1) (pp. 4-6)

Deriving specifications from requirements through problem reduction (2006-10)
Rapanotti, L.; Hall, J. G. and Li, Z.
IEE Proceedings: Software, 153(5) (pp. 183-198)

Problem Reduction: a systematic technique for deriving Specifications from Requirements (2006-10)
Rapanotti, Lucia; Hall, Jon and Li, Zhi
IEE Proceedings: Software, 153(5) (pp. 183-198)

A roadmap of problem frames research (2005-11)
Cox, Karl; Hall, Jon G. and Rapanotti, Lucia
Information and Software Technology, 47(14) (pp. 891-902)

Editorial: Relating software requirements and architectures (2005-08)
Hall, J.G.; Mistrik, I.; Nuseibeh, B. and Silva, A.
IEE Proceedings: Software, 152(4) (pp. 141-142)

Problem frame semantics for software development (2005-05)
Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael
Journal of Software and Systems Modeling, 4(2) (pp. 189-198)

Refining specifications to programmable logic (2002-11)
Hiltont, Adrian and Hall, Jon G.
Electronic Notes in Theoretical Computer Science, 70(3) (pp. 385-395)

Book chapters

Enterprise Architecture: A Snapshot from Practice (2017)
Clarke, Michael; Hall, Jon G. and Rapanotti, Lucia
In: De Haes, Steven and Van Grembergen, Wim eds. Strategic IT Governance and Alignment in Business Settings (pp. 237-255)
ISBN : 9781522508618 | Publisher : IGI Global

Big data, big opportunities (2014-04)
Basu, Dalim and Hall, Jon G.
In: BCS, The Chartered Institute for IT, ed. Big Data: Opportunities and Challenges (pp. 46-51)
ISBN : 978-1-78017-263-7 (ePUB) | Publisher : BCS Learning and Development Ltd. | Published : Swindon

Would you believe it? (2013)
Hall, Jon and Tiernan, Chris
In: Richards, Justin ed. Enhance Your IT Strategy 2013 (pp. 21-22)
Publisher : BCS, The Chartered Institute for IT | Published : Swindon

Introduction to relating software requirements and architectures (2011-08)
Hall, J. G.; Grundy, J.; Mistrik, I.; Lago, P. and Avgeriou, P.
In: Avgeriou, Paris; Grundy, John; Hall, Jon G.; Lago, Patricia and Mistrik, Ivan eds. Relating Software Requirements and Architectures. Computer Science (i-xviii)
ISBN : 978-3-642-21000-6 | Publisher : Springer-Verlag | Published : Heidelberg, Germany

The global knot: how problems tangle in the world's economy (2011)
Hall, Jon G.
In: Lytras, Miltadis D.; de Pablos, Patricia Ordonez; Lee, W. B. and Karwowski, Waldemar eds. Electronic Globalized Business and Sustainable Development Through IT Management: Strategies and Perspectives (pp. 70-76)
ISBN : 9781615206230 | Publisher : IGI-Global

2010 ICSE international workshop on advances and applications of problem orientation (WAAPO-2010) (2010-05)
Hall, Jon G.; Rapanotti, Lucia; Naish, James and Zhao, Liping
In: Kramer, Jeff; Bishop, Judith; Devanbu, Prem and Uchitel, Sebastian eds. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (pp. 467-468)
ISBN : 9781605587196 | Publisher : ACM | Published : New York, USA

Problem frames for socio-technical systems (2009)
Hall, Jon and Rapanotti, Lucia
In: Zaphiris, Panayiotis and Ang, Chee Siang eds. Human Computer Interaction: Concepts, Methodologies, Tools, and Applications (pp. 713-731)
ISBN : 9781605660523 | Publisher : Information Science Reference | Published : Hershey, PA

Requirements analysis in context with POE design (2009)
Hall, Jon and Rapanotti, Lucia
In: Nistazakis, Manos; Poernomo, Dr Iman and Tsaramirsis, George eds. Proceedings of the 1st International Workshop on Requirements Analysis
ISBN : 9781847766632 | Publisher : Pearson

Problem frames for sociotechnical systems (2008-10)
Hall, Jon and Rapanotti, Lucia
In: Zaphiris, Panayiotis and Ang, Chee Siang eds. Human Computer Interaction: Concepts, Methodologies, Tools, and Applications (pp. 713-731)
ISBN : 978-1-60566-052-3 | Publisher : Information Science Reference | Published : Hershey, PA

Towards mining for influence in a multi agent environment (2008-07)
Logie, Robert; Hall, Jon and Waugh, Kevin
In: Weghorn, Hans and Abraham, Ajith eds. 2nd European Conference on Data Mining (ECDM 2008) (pp. 97-101)
ISBN : 978-972-8924-63-8 | Publisher : IADIS press | Published : Lisbon, Portugal

Safety process improvement with POSE and Alloy (2007-09)
Mannering, Derek; Hall, Jon and Rapanotti, Lucia
In: Saglietti, F and Oster, N eds. Computer Safety, Reliability, and Security. Lecture Notes in Computer Science (pp. 252-257)
ISBN : 978-3-540-75100-7 | Publisher : Springer | Published : Berlin

Towards Normal Design for Safety-Critical Systems (2007)
Mannering, Derek; Hall, Jon and Rapanotti, Lucia
In: Dwyer, Matthew, B. and Lopes, Antonia eds. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (pp. 398-411)
ISBN : 978-3-540-71288-6 | Publisher : Springer Verlag

ISO 27001 - Information Security Management Systems (2006-09)
Hall, Jon
In: Van Bon, Jan and Tieneke, Verheijen eds. Frameworks for IT Management. ITSM Library (pp. 35-44)
ISBN : 9077212906 | Publisher : Van Haren Publishing | Published : Zaltbommel, Netherlands

Introducing regulatory compliance (2006)
Ali, Shahbaz and Hall, Jon
In: ISSE 2006 Securing Electronic Business Processes: Highlights of the Information Security Solutions
ISBN : 978-3-8348-0213-2 | Publisher : Vieweg Verlag

Problem-based analysis of organisational change: a real-world example (2006)
Brier, John; Rapanotti, Lucia and Hall, Jon G.
In: Proceedings of the 2006 international workshop on Advances and applications of problem frames (pp. 13-18)
ISBN : 1595934065 | Publisher : ACM Press | Published : New York, NY, USA

Reactive food gathering (2006)
Logie, Robert; Hall, Jon G. and Waugh, Kevin G.
In: Toni, F. and Torroni, P. eds. Computational Logic in Multi-Agent Systems. Lecture Notes in Artificial Intelligence (pp. 406-413)
ISBN : 978-3-540-33996-0 | Publisher : Springer Verlag

Developer requirements in the PF approach (2006)
Tun, Thein and Hall, Jon G.
In: Proceedings of the 2006 international workshop on Advances and applications of problem frames (pp. 87-90)
ISBN : 1-59593-406-5 | Publisher : ACM Press | Published : New York

Problem frames for socio-technical systems (2005)
Hall, Jon and Rapanotti, Lucia
In: Maté, José and Silva, Andrés eds. Requirements Engineering for Sociotechnical Systems
ISBN : 1591405068 | Publisher : Idea Group Publishing

Extending low-cost remote evaluation with synchronous communication (2002)
Dunckley, Lynne; Rapanotti, Lucia and Hall, Jon
In: Faulkner, Xristine; Finlay, Janet and Detienne, Francoise eds. People and computers XVI - memorable yet invisible: Proceedings of HC12002
ISBN : 1852336595 | Publisher : Springer-Verlag

Edited books

Relating Software Requirements and Architectures (2011-08)
Avgeriou, Paris; Grundy, John; Hall, Jon G.; Lago, Patricia and Mistrik, Ivan eds.
ISBN : 978-3-642-21000-6 | Publisher : Springer

Proceedings of the ACM/IEEE International Workshop on Applications and Advances of Problem Orientation (2011-03-07)
Hall, Jon G.; Naish, James; Rapanotti, Lucia and Zhao, Liping
Hall, Jon G.; Naish, James; Rapanotti, Lucia and Zhao, Liping eds.
Technical Report
Publisher : Department of Computing, The Open University

Fifth International Conference on Software Engineering Advances (ICSEA 2010): Proceedings (2010)
Hall, Jon; Kaindl, Hermann; Lavazza, Luigi; Buchgeher, Georg and Takaki, Osamu eds.
ISBN : 978-0-7695-4144-0 | Publisher : IEEE Computer Society | Published : Los Alamitos, CA

Proceedings of the Fourth International Conference on Software Engineering Advances (ICSEA 2009) (2009)
Boness, Kenneth; Fernandes, Joäo M.; Hall, Jon; Machado, Ricardo J. and Oberhauser, Roy eds.
ISBN : 978-0-7695-3777-1 | Publisher : IEEE Computer Society | Published : Los Alamitos, CA

Proceedings of ICSE 2nd International Workshop on Applications and Advances of Problem Frames (2006)
Hall, Jon; Rapanotti, Lucia; Cox, Karl and Zhi, Jin eds.
ISBN : 1-59593-406-5 | Publisher : ACM Press

Proceedings of ICSE 1st International Workshop on Applications and Advances of Problem Frames (2004)
Cox, Karl; Hall, Jon and Rapanotti, Lucia eds.
ISBN : 0-86341-419-2 | Publisher : IEEE CS press | Published : Stevenage

Conference items

Towards filling the data skills gap in the African banking sector (2024)
Williams, Mercy; Rapanotti, Lucia and Hall, Jon G.
In : Proceedings of 2024 International Conference on Business Analytics and Operations Research (ICBAOR-2024) (25-26 Feb 2024, South Africa)

Complex project management: using complexity and volatility to guide hybrid methodological practices (2020-06-09)
Costantini, Silvana; Hall, Jon and Rapanotti, Lucia
In : 6th International Workshop on Socio-Technical Perspectives in Information System Development (STPIS'20) (8-9 Jun 2020, Online)

Evaluating A Pedagogy To Close The Gap Between Theory And Professional Practice In Masters Education (2018)
Hall, Jon. G.; Rapanotti, Lucia; Self, Steven; Slaymaker, Mark and King, David
In : 11th Annual International Conference of Education, Research and Innovation (ICERI2018) (12-14 Nov 2018, Seville, Spain) (pp. 7586-7592)

Problem drift: a risk model for complex socio-technical projects (2017)
Costantini, Silvana; Hall, Jon G. and Rapanotti, Lucia
In : 3rd International Workshop on Socio-Technical Perspective in IS development (STPIS'17) (13 Jun 2017, Essen, Germany)

A phenomenal basis for hybrid modelling (2017)
Hall, Jon G; Rapanotti, Lucia and Markov, Georgi
In : Proceedings of 5th IEEE International Workshop on Formal Methods Integration (IEEE FMi 2017) (4-6 Aug 2017)

Parametrising a theory of software problem solving (2016-05-14)
Hall, Jon G. and Rapanotti, Lucia
In : Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering (16 May 2016, Austin, Texas) (pp. 22-25)

Teaching software systems thinking at The Open University (2015-05)
Wermelinger, Michel; Hall, Jon; Rapanotti, Lucia; Barroca, Leonor; Ramage, Magnus and Bandara, Arosha
In : Joint Software Engineering Education and Training Conference (18-22 May 2015, Florence, Italy) (pp. 307-310)

Towards process design for efficient organisational problem solving (2015)
Kaminski, Dariusz; Hall, Jon G. and Rapanotti, Lucia
In : Fifth International Conference on Business Intelligence and Technology (BUSTECH 2015) (22-27 Mar 2015, Nice, France) (pp. 20-25)

An engineering framework for dealing with change problems: theoretical underpinnings and initial evaluation (2015)
Markov, Georgi; Hall, Jon G. and Rapanotti, Lucia
In : 15th International Conference on Knowledge, Culture and Change in Organizations and the Organization Knowledge Community (19-20 Feb 2015, Berkeley, California USA)

Masters-level software engineering education and the enriched student context (2015)
Hall, Jon G. and Rapanotti, Lucia
In : 37th International Conference on Software Engineering (ICSE) (16-24 May 2015, Firenze, Italy) (pp. 311-314)

Towards a design theoretic characterisation of software development process models (2015)
Hall, Jon G. and Rapanotti, Lucia
In : Fourth SEMAT Workshop on General Theory of Software Engineering (GTSE 2015) (18 May 2015, Florence, Italy) (pp. 3-14)

Towards executable business processes with the problem oriented engineering process algebra (2011-10)
Kaminski, Darius; Hall, Jon G. and Rapanotti, Lucia
In : IARIA Sixth International Conference on Software Engineering Advances, ICSEA 2011 (23-29 Oct 2011, Barcelona)

On the construction of specifications from requirements (2011)
Li, Zhi; Hall, Jon and Rapanotti, Lucia
In : Proceedings of the 14th Workshop on Requirements Engineering (28-29 Apr 2011, Rio de Janeiro-RJ, Brasil)

Modeling domain knowledge in support of requirements analysis in software engineering (2010-12)
Li, Zhi; Hall, Jon and Rapanotti, Lucia
In : International Conference on Power and Energy Systems (ICPES 2010) (20-21 Dec 2010, Beijing)

Design rationale capture in the globalised enterprise: an industrial study (2010-08)
Nkwocha, Ann; Hall, Jon G. and Rapanotti, Lucia
In : 5th IARIA International Conference on Software Engineering Advances (ICSEA) (22-27 Aug 2010, Nice, France)

Lessons learned in developing a Second Life educational environment (2010-04)
Rapanotti, Lucia and Hall, Jon
In : Proceedings of the 2nd International Conference on Computer Supported Education (7-10 Apr 2010, Valencia, Spain)

Agent influence and nested other-agent behaviour (2009-11-15)
Logie, Robert; Hall, Jon and Waugh, Kevin G.
In : ComputationWorld 2009 (15-20 Nov 2009, Athens/Glyfada, Greece)

A problem-oriented theory of pattern-oriented analysis and design (2009-11)
Overton, Jerry; Hall, Jon G. and Rapanotti, Lucia
In : ComputationWorld 2009 (15-20 Nov 2009, Athens/Glyfada, Greece)

Towards a problem oriented engineering theory of pattern-oriented analysis and design (2009-09-22)
Overton, Jerry; Hall, Jon; Rapanotti, Lucia and Yu, Yijun
In : Proceedings of 3rd IEEE International Workshop on Quality Oriented Reuse of Software (QUORS) (20-24 Jul 2009, Seattle, Washington) (pp. 255-260)

Designing an online part-time Master of Philosophy with Problem Oriented Engineering (2009-05-24)
Hall, Jon G. and Rapanotti, Lucia
In : Fourth International Conference on Internet and Web Applications and Services (24-28 May 2009, Venice, Italy)

Assurance-driven design (2008-10)
Hall, Jon and Rapanotti, Lucia
In : Proceedings 3rd International Conference on Software Engineering Advances (26-31 Oct 2008, Sliema, Malta)

3rd international workshop on advances and applications of problem frames (2008)
Tun, Thein Than; Hall, Jon G.; Rapanotti, Lucia; Cox, Karl and Jin, Zhi
In : International Conference on Software Engineering (10 May 2008, Leipzig, Germany) (pp. 1029-1030)

The discipline of natural design (2008)
Hall, Jon and Rapanotti, Lucia
In : Proceedings of the Design Research Society Conference 2008 (16-19 Jul 2008, Sheffield, UK)

Requirements analysis in contex with POE Design (2008)
Hall, Jon and Rapanotti, Lucia
In : Proceedings of the International Workshop on Requirements Analysis, (6-7 Dec 2008, London, UK)

Safety process improvement with POSE and Alloy (2008)
Mannering, Derek; Hall, Jon and Rapanotti, Lucia
In : Safety-critical Systems Symposium 2008 (5-7 Feb 2008, Bristol)

Arguing safety with Problem oriented Software Engineering (2007-11)
Hall, Jon; Mannering, Derek and Rapanotti, Lucia
In : 10th IEEE International Symposium on High Assurance System Engineering (HASE) (14-16 Nov 2007, Dallas, Texas) (pp. 398-411)

Safety Process Evolution: Managing Improvement, Integration and Obsolescence (2007-10)
Mannering, Derek; Hall, Jon and Rapanotti, Lucia
In : 2nd IET Conference on System Safety (22-24 Oct 2007) (pp. 398-411)

Problem oriented software engineering: A design-theoretic framework for software engineering (2007-09)
Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael
In : Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) (10-14 Sep 2007, London, UK)

Safety process improvement: Early analysis and justification (2007)
Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia
In : Proceedings of the IET Second International Conference on System Safety (22-24 Oct 2007, London, UK)

A problem-oriented approach to normal design for safety-critical systems (2007)
Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia
In : European Joint Conferences on Theory and Practice of Software (ETAPS) (24 Mar - 1 Apr 2007, Braga, Portugal)

From requirements to specification: a formal perspective (2006)
Li, Zhi; Hall, Jon and Rapanotti, Lucia
In : 2nd International Workshop on Advances and Applications of Problem Frames (23 May 2006, Shanghai, China)

Capturing change in socio-technical system with problem frames (2005)
Brier, John; Rapanotti, Lucia and Hall, Jon G.
In : Proceedings of Requirements Engineering: Foundations of Software Quality (REFSQ) (28 Jun 2005)

Developing critical systems with PLD components (2005)
Hilton, Adrian and Hall, Jon G.
In : 10th International Workshop on Formal Methods for Safety Critical Systems (2005) (pp. 385-395)

Architecture-driven problem decomposition (2004-09-20)
Rapanotti, L.; Hall, J.G.; Jackson, M. and Nuseibeh, B.
In : 12th IEEE International Conference on Requirements Engineering (RE 2004) (6-11 Sep 2004, Kyoto, Japan)

Problem frames for socio-technical systems: predictability and change (2004)
Brier, J.; Rapanotti, L. and Hall, J.G.
In : 1st International Workshop on Applications and Advances of Problem Frames (24 May 2004, Edinburgh, UK)

High-integrity interfacing to programmable logic with Ada (2004)
Hilton, Adrian J. and Hall, Jon G.
In : Ada-Europe (2004) (pp. 249-260)

Reasoning about decomposing and recomposing problem frame developments: a case study (2004)
Li, Zhi; Hall, J. G. and Rapanotti, L.
In : 1st International Workshop on Advances and Applications of Problem Frames (2004, Edinburgh, Scotland)

A Reference model for Requirements Engineering (2003-09-12)
Hall, J.G. and Rapanotti, L.
In : 11th IEEE International Conference on Requirements Engineering (RE 2003) (8-12 Sep 2003, Monterey, CA, USA) (pp. 181-187)

A Requirements-based Framework for the Analysis of Socio-technical System Behaviour (2003)
Hall, Jon and Silva, Andrés
In : Proceedings of the 9th International Workshop on Requirements Engineering- Foundation of Software Quality (REFSQ'03) (16-17 Jun 2003, Klagenfurt/Velden, Austria,)

Relating software requirements and architectures using problem frames (2002-09-09)
Hall, J.G.; Jackson, M.; Laney, R. C.; Nuseibeh, B. and Rapanotti, L.
In : Proceedings of the IEEE Joint International Conference on Requirements Engineering, 2002 (09-13 Sep 2002, Essen, Germany)

Educational JavaBeans: a requirements-driven architecture (2001)
Hall, Jon and Rapanotti, Lucia
In : WebNet 2001 - World Conference on the WWW and Internet (23-27 Oct 2001)

Lyceum: The system and its architecture (2000)
Rapanotti, Lucia and Hall, Jon G.
In : International Conference on Information and Communication Technologies for Education (ED-ICT 2000) (7-9 Dec 2000, Vienna, Austria) (pp. 43-52)

Other

The UK appoints its first visionary AI Vice Chancellor (2023-05-15)
Hall, Jon G.
LinkedIn [Text generated by AI and edited by Jon G. Hall]

Digitalisation, Risk And Resilience (2022-06-28)
Hall, Jon; Lustig, Patricia and Ringland, Gill
Long Finance

A change singularity: increasing knowledge volatility (2022-03-07)
Hall, Jon G.
BCS, The Chartered Institute for IT

Risk Analytics and Service Engineering/Big Data in Transportation (2022-02)
Wiley

The Prescott Technic System (2021-12-14)
Prescott, Gerald

The Nature of Engineering (2021-04-10)
Rogers, Gordon
Open Research Online

Intuitionistic Type Theory: Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980 (2021-03-15)
Martin-Löf, Per
Digital Edition

Measuring qualification effects of a new pedagogy which embeds learning and assessment activities within each students rich professional context of practice (2017-05-30)
Rapanotti, Lucia; Hall, Jon G.; Self, Steven; Slaymaker, Mark and King, David
Department of Computing, The Open University

Systematic concept identification and evaluation for IT/business alignment (2017-03-10)
Costantini, Silvana; Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

A design theory for software engineering (2016-01-03)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

A General Theory of Engineering: Thinking Bigger than Software (2015-01-28)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

The computing curriculum: what every child should know (2014)
Hall, Jon and Rapanotti, Lucia
The Conversation, London.

e^iπ + 1 = 0 for Computing (2012)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Expert Systems: The Journal of Knowledge Engineering. Special Issue: Business Decision Support Systems (2011-07)
Wu, Dasheng Dash and Hall, Jon
Wiley-Blackwell

Supporting Computing professionals on part-time research degrees (2011-01-19)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Editorial: special issue: business decision support systems (2011)
Wu, Desheng Dash and Hall, Jon
Expert Systems, 28(3), pp. 197-198

Editorial: genealogical knowledge engineering (2011)
Hall, Jon
Expert Systems, 28 (2), pp. 97-100

Editorial: Neuronomics: connectionist economics (2011)
Hall, Jon G.
Expert Systems, 28 (1), pp. 1-4

Give us a clue! (2010-10-06)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Middle-out design: A proposed best-practice for GEOSS design (2010-05-13)
Overton, Jerry; Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Design rationale capture for process improvement in the globalised enterprise: an industrial study (2010-03-11)
Nkwocha, A.; Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Problem Oriented Software Engineering (2010-01-29)
Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael
Department of Computing, The Open University

Problem Oriented Engineering in action: experience from the frontline of postgraduate education (2008-10-01)
Rapanotti, Lucia and Hall, Jon G.
Department of Computing, The Open University

POELog: a Prolog-based engine for Problem Oriented Engineering (2008-04-04)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Capturing Knowledge through Problem Oriented Engineering (2008-03-19)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Assurance-driven development in Problem Oriented Engineering (2007-12-10)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Arguing safety with Problem Oriented Software Engineering (2007-03-30)
Hall, Jon G.; Mannering, Derek and Rapanotti, Lucia
Department of Computing, The Open University

SIL4 process improvement with POSE and Alloy (2007-03-30)
Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Towards Normal Organisational Problem Solving (2007-02-09)
Hall, Jon G.; Rapanotti, Lucia; Cox, Karl and Bleistein, Steven J.
Department of Computing, The Open University

On the use of Coloured Petri Nets in Problem Oriented Software Engineering: the Package Router Example (2007-01-12)
Hall, Jon G.; Jørgensen, Jens Baek and Rapanotti, Lucia
Department of Computing, The Open University

Capturing Change Descriptions as Patterns in an Organisation's Changing Socio-Technical System (2006-11-17)
Brier, John; Rapanotti, Lucia and Hall, Jon G.
Department of Computing, The Open University

Problem-oriented software engineering (2006-10-12)
Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael
Department of Computing, The Open University

Relating Safety Requirements and System Design through Problem Oriented Software Engineering (2006-09-14)
Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Problem transformations in solving the Package Router Control problem (2006-07-05)
Rapanotti, Lucia; Hall, Jon G. and Jackson, Michael
Department of Computing, The Open University

Problem Reduction: a systematic technique for deriving Specifications from Requirements (2006-02-23)
Rapanotti, Lucia; Hall, Jon G. and Li, Zhi
Department of Computing, The Open University

Special Issue of Information and Software Technology on Problem Frames (2005-11)
Cox, Karl and Hall, Jon G.
Elsevier

Using PADL to specify AFrames (2005-04-28)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

A framework for software problem analysis (2005-04-07)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Capturing Change in Socio-technical System with Problem Frames (2005-01-04)
Brier, John; Rapanotti, Lucia and Hall, Jon G.
Department of Computing, The Open University

A Constructive Approach to Problem Frame Semantics (2004-12-10)
Li, Zhi; Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

An Example of Domain Decomposition through Application of the Problem Frames Approach to a Complex Problem (2004-09-14)
Hall, Jon G.; Rapanotti, Lucia; Cox, Karl; Bleistein, Steven and Verner, June
Department of Computing, The Open University

Developing Critical Systems with PLD Components (2004-03-15)
Hilton, Adrian J and Hall, Jon G.
Department of Computing, The Open University

Using safety and liveness properties to drive learning in a multi-agent system (2003-12-10)
Logie, Robert; Hall, Jon G. and Waugh, Kevin G
Department of Computing, The Open University

Problem Frames for Socio-technical Systems (2003-10-15)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

FPGAs in Critical Hardware/Software Systems (2003-09)
Hilton, Adrian; Townson, Gemma and Hall, Jon G.
Department of Computing, The Open University

Architecture-driven Problem Decomposition (2003)
Rapanotti, Lucia; Hall, Jon G.; Jackson, Michael and Nuseibeh, Bashar
Department of Computing, The Open University

Beliefs, desires and intentions in a hybrid coached agent architecture (2003)
Logie, Robert; Hall, Jon G. and Waugh, Kevin G.
Department of Computing, The Open University

A Reference Model for Requirements Engineering (2003)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Towards a semantics of Problem Frames (2003)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

Mandated Requirements for Hardware/Software Combination in Safety-Critical Systems (2003)
Hilton, Adrian and Hall, Jon G.
Department of Computing, The Open University

A Requirements-based Framework for the Analysis of Socio-technical System Behaviour (2003)
Hall, Jon G. and Silva, Andres
Department of Computing, The Open University

Targetting PLDs for high-level High Integrity Systems Development (2002)
Hilton, Adrian and Hall, Jon G.
Department of Computing, The Open University

Low Cost Remote Evaluation with Synchronous Groupware (2002)
Dunckley, Lynne; Rapanotti, Lucia and Hall, Jon G.
Department of Computing, The Open University

Relating Software Requirements and Architectures Using Problem Frames (2002)
Hall, Jon G.; Jackson, Michael; Laney, Robin C.; Nuseibeh, Bashar and Rapanotti, Lucia
Department of Computing, The Open University

Extending Low-Cost Remote Evaluation with Synchronous Communication (2002)
Dunkley, Lynne; Rapanotti, Lucia and Hall, Jon G.
Department of Computing, The Open University

Refining Specifications to Programmable Logic (2002)
Hilton, Adrian and Hall, Jon G.
Department of Computing, The Open University

Proving Safety Properties of FPGAs (2001)
Hilton, Adrian and Hall, Jon G.
Department of Computing, The Open University

Decomposing the DSub Retrenchment (2001)
Hall, J. G. and Gurukumba, T.
Department of Computing, The Open University

Educational Java Beans (2001)
Rapanotti, Lucia and Hall, Jon G.
Department of Computing, The Open University

On Applying Software Development Best Practice to FPGAs in Safety-Critical Systems (2000)
Hilton, Adrian and Hall, Jon G.
Department of Computing, The Open University

The Triangulation Calculus (2000)
Hall, Jon G. and Rapanotti, Lucia
Department of Computing, The Open University

An Operational semantics for parallel call-by-need (1999)
Baker-Finch, Clem; King, David; Hall, Jon G. and Trinder, Phil
Department of Computing, The Open University

A Coloured Petri Net Seminatics of Software Architectures (1998)
Hall, Jon G. and Barroca, Leonor
Department of Computing, The Open University

Shape Grammars for Knitwear Cable Design (1998)
Eckert, Claudia and Hall, Jon G.
Department of Computing, The Open University

An Operational semantics for parallel lazy evaluation (1998)
Hall, Jon G.; Baker-Finch, Clem; Trinder, Philip W. and King, David J.
Department of Computing, The Open University

From Concrete Phase Transition Systems to ERTL (1997)
Hall, Jon G.
Department of Computing, The Open University

An Algebra of High Level Petri Nets (1997)
Hall, Jon G.
Department of Computing, The Open University

Faculty of Science, Technology, Engineering & Mathematics

You are here

Professor Jon Hall

Skip to

Profile summary

Web links