Jon G. Hall

Orcid: 0000-0002-5619-820X

Affiliations:
  • Open University, Milton Keynes, UK


According to our database1, Jon G. Hall authored at least 87 papers between 1992 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
XAI for Cybersecurity: State of the Art, Challenges, Open Issues and Future Directions.
CoRR, 2022

2020
Complex Project Management: Using Complexity and Volatility to Guide Hybrid Methodological Practices.
Proceedings of the 6th International Workshop on Socio-Technical Perspective in IS Development (STPIS 2020), 2020

2017
Safety engineering with COTS components.
Reliab. Eng. Syst. Saf., 2017

A design theory for software engineering.
Inf. Softw. Technol., 2017

A Phenomenal Basis for Hybrid Modelling.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Problem Drift: a Risk Model for Complex Socio-technical Projects.
Proceedings of the 3rd International Workshop on Socio-Technical Perspective in IS development (STPIS'17) co-located with 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), 2017

2016
Parameterising a theory of software problem solving.
Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering, 2016

2015
Teaching Software Systems Thinking at The Open University.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Masters-Level Software Engineering Education and the Enriched Student Context.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Towards a Design-Theoretic Characterisation of Software Development Process Models.
Proceedings of the IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 2015

2014
On the systematic transformation of requirements to specifications.
Requir. Eng., 2014

2013
Design rationale capture for process improvement in the globalised enterprise: an industrial study.
Softw. Syst. Model., 2013

Enterprise Architecture: A Snapshot from Practice.
Int. J. IT Bus. Alignment Gov., 2013

Special section on advances and applications of problem orientation.
Expert Syst. J. Knowl. Eng., 2013

Is tangled the new wicked?
Expert Syst. J. Knowl. Eng., 2013

Editorial.
Expert Syst. J. Knowl. Eng., 2013

Beauty in Software Engineering.
Computer, 2013

2012
Software engineering as the design theoretic transformation of software problems.
Innov. Syst. Softw. Eng., 2012

Engineering knowledge engineering.
Expert Syst. J. Knowl. Eng., 2012

The knowledge engineers' oath.
Expert Syst. J. Knowl. Eng., 2012

Computing education that doesn't compute.
Expert Syst. J. Knowl. Eng., 2012

The cult of the (so-called) Expert System.
Expert Syst. J. Knowl. Eng., 2012

2011
Special issue: business decision support systems.
Expert Syst. J. Knowl. Eng., 2011

Building the knowledge society begins with breakfast.
Expert Syst. J. Knowl. Eng., 2011

Neuronomics: connectionist economics.
Expert Syst. J. Knowl. Eng., 2011

Design concerns in the engineering of virtual worlds for learning.
Behav. Inf. Technol., 2011

On the Construction of Specifications from Requirements.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Tools and Techniques.
Proceedings of the Relating Software Requirements and Architectures., 2011

Introduction: Relating Requirements and Architectures.
Proceedings of the Relating Software Requirements and Architectures., 2011

Theoretical Underpinnings and Reviews.
Proceedings of the Relating Software Requirements and Architectures., 2011

Emerging Issues in Relating Software Requirements and Architecture.
Proceedings of the Relating Software Requirements and Architectures., 2011

Conclusions.
Proceedings of the Relating Software Requirements and Architectures., 2011

Experiences from Industrial Projects.
Proceedings of the Relating Software Requirements and Architectures., 2011

2010
2010 ICSE international workshop on advances and applications of problem orientation (WAAPO-2010).
ACM SIGSOFT Softw. Eng. Notes, 2010

On tangling.
Expert Syst. J. Knowl. Eng., 2010

Thinking inside the box.
Expert Syst. J. Knowl. Eng., 2010

Welcome to Volume 27, Issue 1.
Expert Syst. J. Knowl. Eng., 2010

Design Rationale Capture in the Globalised Enterprise: An Industrial Study.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Lessons Learned in Developing a Second Life Educational Environment.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009
The polychronic economy.
Expert Syst. J. Knowl. Eng., 2009

34957+70764=105621.
Expert Syst. J. Knowl. Eng., 2009

A singular intelligence.
Expert Syst. J. Knowl. Eng., 2009

Beachbrains.
Expert Syst. J. Knowl. Eng., 2009

1983 and all that.
Expert Syst. J. Knowl. Eng., 2009

Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Problem Oriented Software Engineering: Solving the Package Router Control Problem.
IEEE Trans. Software Eng., 2008

Special issue on applications and advances in problem frames.
Expert Syst. J. Knowl. Eng., 2008

Safety Process Improvement with POSE and Alloy.
Proceedings of the Improvements in System Safety, 2008

Assurance-Driven Design.
Proceedings of the Third International Conference on Software Engineering Advances, 2008

3rd international workshop on advances and applications of problem frames.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Relating problem oriented engineering to current development processes: a research agenda.
Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

Requirements and architectures: two sides of the same coin.
Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

Towards Mining for Influence in a Multi Agent Environment.
Proceedings of the IADIS European Conference on Data Mining 2008, 2008

2007
Problem Oriented Software Engineering: A design-theoretic framework for software engineering.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Arguing safety with Problem Oriented Software Engineering.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Towards Normal Design for Safety-Critical Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
Deriving specifications from requirements through problem reduction.
IEE Proc. Softw., 2006

Introducing Regulatory Compliance Requirements Engineering.
Proceedings of the ISSE 2006, 2006

Developer requirements in the PF approach.
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

2nd international workshop on advances and applications of problem frames.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Problem-based analysis of organisational change: a real-world example.
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

From requirements to specifications: a formal approach.
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

2005
Problem frame semantics for software development.
Softw. Syst. Model., 2005

A roadmap of problem frames research.
Inf. Softw. Technol., 2005

Relating software requirements and architectures.
IEE Proc. Softw., 2005

Developing critical systems with PLD components.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Reactive Food Gathering.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
1<sup>st</sup> international workshop on advances and applications of problem frames - summary.
ACM SIGSOFT Softw. Eng. Notes, 2004

Architecture-driven Problem Decomposition.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

1st International Workshop on Advances and Applications of Problem Frames.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

High-Integrity Interfacing to Programmable Logic with Ada.
Proceedings of the Reliable Software Technologies, 2004

2003
A Reference Model for Requirements Engineering.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

FPGAs in critical hardware/software systems.
Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2003

2002
Refining specifications to programmable logic.
Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Relating Software Requirements and Architectures Using Problem Frames.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
Educational JavaBeans: a Requirements Driven Architecture.
Proceedings of WebNet 2001, 2001

2000
Software architectures - advances and applications.
Springer, ISBN: 978-1-85233-636-3, 2000

1998
A Strategic Profiler for Glasgow Parallel Haskell.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Towards an Operational Semantics for a Parallel Non-Strict Functional Language.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997
<i>W</i> Reconstructed.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1996
A Model for a Causal Logic for Requirements Engineering.
Requir. Eng., 1996

ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
Extended RTL in the Specification and Verification of an Industrial Press.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Towards a Z Method: Axiomatic Specification in Z.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1992
A basic-net algebra for program semantics and its application to OCCAM.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

The box calculus: a new causal algebra with multi-label communication.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992


  Loading...