Jon G. Hall

96 papers A* 2A 4B 3C 7Misc 2Journal 37Unranked 29
YearRankTypeTitle / Venue / Authors
2025 J jnl
POE-Δ: a framework for change engineering.
CoRR
Georgi A. Markov, Jon G. Hall, Lucia Rapanotti
2022 J jnl
XAI for Cybersecurity: State of the Art, Challenges, Open Issues and Future Directions.
CoRR
Gautam Srivastava, Rutvij H. Jhaveri, Sweta Bhattacharya, Sharnil Pandya, Rajeswari, Praveen Kumar Reddy Maddikunta, Gokul Yenduri, Jon G. Hall, Mamoun Alazab, Thippa Reddy Gadekallu
2020 — conf
Complex Project Management: Using Complexity and Volatility to Guide Hybrid Methodological Practices.
STPIS
Silvana Costantini, Jon G. Hall, Lucia Rapanotti
2017 Misc conf
A Phenomenal Basis for Hybrid Modelling.
IRI
Jon G. Hall, Lucia Rapanotti, Georgi A. Markov
2017 J jnl
A design theory for software engineering.
Inf. Softw. Technol.
Jon G. Hall, Lucia Rapanotti
2017 — conf
Problem Drift: a Risk Model for Complex Socio-technical Projects.
STPIS@CAiSE
Silvana Costantini, Jon G. Hall, Lucia Rapanotti
2017 J jnl
Safety engineering with COTS components.
Reliab. Eng. Syst. Saf.
Mark O'Halloran, Jon G. Hall, Lucia Rapanotti
2016 — conf
Parameterising a theory of software problem solving.
TOSE@ICSE
Jon G. Hall, Lucia Rapanotti
2015 — conf
Masters-Level Software Engineering Education and the Enriched Student Context.
ICSE (2)
Jon G. Hall, Lucia Rapanotti
2015 — conf
Teaching Software Systems Thinking at The Open University.
ICSE (2)
Michel Wermelinger, Jon G. Hall, Lucia Rapanotti, Leonor Barroca, Magnus Ramage, Arosha K. Bandara
2015 — conf
Towards a Design-Theoretic Characterisation of Software Development Process Models.
GTSE@ICSE
Jon G. Hall, Lucia Rapanotti
2014 J jnl
On the systematic transformation of requirements to specifications.
Requir. Eng.
Zhi Li, Jon G. Hall, Lucia Rapanotti
2013 J jnl
Beauty in Software Engineering.
Computer
Jon G. Hall, Lucia Rapanotti
2013 J jnl
Design rationale capture for process improvement in the globalised enterprise: an industrial study.
Softw. Syst. Model.
Ann Nkwocha, Jon G. Hall, Lucia Rapanotti
2013 J jnl
Editorial.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2013 J jnl
Enterprise Architecture: A Snapshot from Practice.
Int. J. IT Bus. Alignment Gov.
Michael Clarke, Jon G. Hall, Lucia Rapanotti
2013 J jnl
Is tangled the new wicked?
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2013 J jnl
Special section on advances and applications of problem orientation.
Expert Syst. J. Knowl. Eng.
Lucia Rapanotti, Liping Zhao, Jon G. Hall
2012 J jnl
Computing education that doesn't compute.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2012 J jnl
Engineering knowledge engineering.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2012 J jnl
Software engineering as the design theoretic transformation of software problems.
Innov. Syst. Softw. Eng.
Jon G. Hall, Lucia Rapanotti
2012 J jnl
The cult of the (so-called) Expert System.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2012 J jnl
The knowledge engineers' oath.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2011 J jnl
Building the knowledge society begins with breakfast.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2011 — ch.
Conclusions.
Relating Software Requirements and Architectures
Paris Avgeriou, Patricia Lago, John Grundy, Ivan Mistrík, Jon G. Hall
2011 J jnl
Design concerns in the engineering of virtual worlds for learning.
Behav. Inf. Technol.
Lucia Rapanotti, Jon G. Hall
2011 — ch.
Emerging Issues in Relating Software Requirements and Architecture.
Relating Software Requirements and Architectures
John Grundy, Paris Avgeriou, Jon G. Hall, Patricia Lago, Ivan Mistrík
2011 — ch.
Experiences from Industrial Projects.
Relating Software Requirements and Architectures
Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík
2011 — ch.
Introduction: Relating Requirements and Architectures.
Relating Software Requirements and Architectures
Jon G. Hall, John Grundy, Ivan Mistrík, Patricia Lago, Paris Avgeriou
2011 J jnl
Neuronomics: connectionist economics.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2011 — conf
On the Construction of Specifications from Requirements.
CIbSE
Zhi Li, Jon G. Hall, Lucia Rapanotti
2011 — conf
On the construction of specifications from requirements.
WER
Zhi Li, Jon G. Hall, Lucia Rapanotti
2011 — book
Relating Software Requirements and Architectures.
Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík
2011 J jnl
Special issue: business decision support systems.
Expert Syst. J. Knowl. Eng.
Desheng Dash Wu, Jon G. Hall
2011 — ch.
Theoretical Underpinnings and Reviews.
Relating Software Requirements and Architectures
John Grundy, Patricia Lago, Paris Avgeriou, Jon G. Hall, Ivan Mistrík
2011 — ch.
Tools and Techniques.
Relating Software Requirements and Architectures
Patricia Lago, Paris Avgeriou, John Grundy, Jon G. Hall, Ivan Mistrík
2010 — conf
2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010).
ICSE (2)
Jon G. Hall, Lucia Rapanotti, Liping Zhao, James Naish
2010 J jnl
2010 ICSE international workshop on advances and applications of problem orientation (WAAPO-2010).
ACM SIGSOFT Softw. Eng. Notes
Jon G. Hall, Lucia Rapanotti, Liping Zhao, James Naish
2010 C conf
Design Rationale Capture in the Globalised Enterprise: An Industrial Study.
ICSEA
Ann Nkwocha, Jon G. Hall, Lucia Rapanotti
2010 — conf
Lessons Learned in Developing a Second Life Educational Environment.
CSEDU (1)
Lucia Rapanotti, Jon G. Hall
2010 J jnl
On tangling.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2010 C ed.
The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France
ICSEA
Jon G. Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki
2010 J jnl
Thinking inside the box.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2010 J jnl
Welcome to Volume 27, Issue 1.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2009 J jnl
1983 and all that.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2009 J jnl
34957+70764=105621.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2009 J jnl
A singular intelligence.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2009 J jnl
Beachbrains.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2009 C conf
Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering.
ICIW
Lucia Rapanotti, Jon G. Hall
2009 C ed.
The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal
ICSEA
Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser
2009 J jnl
The polychronic economy.
Expert Syst. J. Knowl. Eng.
Jon G. Hall
2009 — conf
Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design.
COMPSAC (2)
Jerry Overton, Jon G. Hall, Lucia Rapanotti, Yijun Yu
2008 — conf
3rd international workshop on advances and applications of problem frames.
ICSE Companion
Thein Than Tun, Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin
2008 C conf
Assurance-Driven Design.
ICSEA
Jon G. Hall, Lucia Rapanotti
2008 J jnl
Problem Oriented Software Engineering: Solving the Package Router Control Problem.
IEEE Trans. Software Eng.
Jon G. Hall, Lucia Rapanotti, Michael Jackson
2008 — ed.
Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, IWAAPF '08, Leipzig, Germany, May 10, 2008
IWAAPF@ICSE
Lucia Rapanotti, Jon G. Hall, Zhi Jin, Karl Cox
2008 — conf
Relating problem oriented engineering to current development processes: a research agenda.
IWAAPF@ICSE
Dariusz W. Kaminski, Jon G. Hall, Michel Wermelinger
2008 — conf
Requirements and architectures: two sides of the same coin.
SHARK
Jon G. Hall
2008 C conf
Safety Process Improvement with POSE and Alloy.
SSS
Derek Mannering, Jon G. Hall, Lucia Rapanotti
2008 J jnl
Special issue on applications and advances in problem frames.
Expert Syst. J. Knowl. Eng.
Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin
2008 — conf
Towards Mining for Influence in a Multi Agent Environment.
IADIS European Conf. Data Mining
Robert Logie, Jon G. Hall, Kevin G. Waugh
2007 — conf
Arguing safety with Problem Oriented Software Engineering.
HASE
Jon G. Hall, Derek Mannering, Lucia Rapanotti
2007 B conf
Problem Oriented Software Engineering: A design-theoretic framework for software engineering.
SEFM
Jon G. Hall, Lucia Rapanotti, Michael Jackson
2007 B conf
Safety Process Improvement with POSE and Alloy.
SAFECOMP
Derek Mannering, Jon G. Hall, Lucia Rapanotti
2007 B conf
Towards Normal Design for Safety-Critical Systems.
FASE
Derek Mannering, Jon G. Hall, Lucia Rapanotti
2006 A* conf
2nd international workshop on advances and applications of problem frames.
ICSE
Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin
2006 — conf
2nd international workshop on advances and applications of problem frames.
IWAAPF@ICSE
Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin
2006 J jnl
Deriving specifications from requirements through problem reduction.
IEE Proc. Softw.
Lucia Rapanotti, Jon G. Hall, Zhi Li
2006 — conf
Developer requirements in the PF approach.
IWAAPF@ICSE
Thein Than Tun, Jon G. Hall
2006 — conf
From requirements to specifications: a formal approach.
IWAAPF@ICSE
Zhi Li, Jon G. Hall, Lucia Rapanotti
2006 — conf
Introducing Regulatory Compliance Requirements Engineering.
ISSE
Shahbaz Ali, Jon G. Hall
2006 — conf
Problem-based analysis of organisational change: a real-world example.
IWAAPF@ICSE
John Brier, Lucia Rapanotti, Jon G. Hall
2006 — ed.
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, IWAAPF '06, Shanghai, China, May 23, 2006
IWAAPF@ICSE
Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin
2005 J jnl
A roadmap of problem frames research.
Inf. Softw. Technol.
Karl Cox, Jon G. Hall, Lucia Rapanotti
2005 C conf
Developing critical systems with PLD components.
FMICS
Adrian J. Hilton, Jon G. Hall
2005 J jnl
Problem frame semantics for software development.
Softw. Syst. Model.
Jon G. Hall, Lucia Rapanotti, Michael Jackson
2005 — conf
Reactive Food Gathering.
CLIMA
Robert Logie, Jon G. Hall, Kevin G. Waugh
2005 J jnl
Relating software requirements and architectures.
IEE Proc. Softw.
Jon G. Hall, Ivan Mistrík, Bashar Nuseibeh, Andrés Silva
2004 J jnl
1
ACM SIGSOFT Softw. Eng. Notes
Karl Cox, Jon G. Hall, Lucia Rapanotti
2004 A* conf
1st International Workshop on Advances and Applications of Problem Frames.
ICSE
Karl Cox, Jon G. Hall, Lucia Rapanotti
2004 A conf
Architecture-driven Problem Decomposition.
RE
Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh
2004 Misc conf
High-Integrity Interfacing to Programmable Logic with Ada.
Ada-Europe
Adrian J. Hilton, Jon G. Hall
2003 A conf
A Reference Model for Requirements Engineering.
RE
Jon G. Hall, Lucia Rapanotti
2003 A conf
FPGAs in critical hardware/software systems.
FPGA
Adrian J. Hilton, Gemma Townson, Jon G. Hall
2002 — conf
Refining specifications to programmable logic.
Refine
Adrian J. Hilton, Jon G. Hall
2002 A conf
Relating Software Requirements and Architectures Using Problem Frames.
RE
Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti
2001 — conf
Educational JavaBeans: a Requirements Driven Architecture.
WebNet
Jon G. Hall, Lucia Rapanotti
2000 — book
Software architectures - advances and applications.
Leonor Barroca, Jon G. Hall, Patrick Hall
1998 — conf
A Strategic Profiler for Glasgow Parallel Haskell.
IFL
David J. King, Jon G. Hall, Philip W. Trinder
1998 — conf
Towards an Operational Semantics for a Parallel Non-Strict Functional Language.
IFL
Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King
1996 J jnl
A Model for a Causal Logic for Requirements Engineering.
Requir. Eng.
Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John A. McDermid
1996 — conf
ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.
RTS
Jon G. Hall, Rogério de Lemos
1995 — conf
Extended RTL in the Specification and Verification of an Industrial Press.
Hybrid Systems
Rogério de Lemos, Jon G. Hall
1994 — conf
Towards a Z Method: Axiomatic Specification in Z.
Z User Workshop
Jon G. Hall, John A. McDermid
1992 — ch.
A basic-net algebra for program semantics and its application to OCCAM.
Advances in Petri Nets: The DEMON Project
Richard P. Hopkins, Jon G. Hall, Oliver Botti
1992 — ch.
The box calculus: a new causal algebra with multi-label communication.
Advances in Petri Nets: The DEMON Project
Eike Best, Raymond Devillers, Jon G. Hall