Currently browsing: Items authored or edited by Jon G. Hall

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

• Request a copy from the author This file is not available for public download

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

Hall, Jon; Lustig, Patricia and Ringland, Gill (2022). Digitalisation, Risk And Resilience. In Long Finance: Pamphleteers' Blog Long Finance.

Hall, Jon G. (2022). A change singularity: increasing knowledge volatility. In BCS: Articles, Opinions & Research BCS, The Chartered Institute for IT.

• Download Published Version (PDF / 142kB)

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

Wu, Desheng Dash, Hall, Jon, Belezamo, Baloka, Eken, Süleyman and Avci, Cafer. eds. (2022) Risk Analytics and Service Engineering/Big Data in Transportation. Expert Systems, Volume 39, Issue 2 [Special Issue].

Hall, Jon G., ed. The Prescott Technic System. By Gerald Prescott (1930). (2021).

• Download Published Version (PDF / 864kB)

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

• Download Accepted Manuscript (PDF / 2MB)

Hall, Jon, ed. The Nature of Engineering. By Gordon Rogers (1983). Open Research Online (2021).

• Download Accepted Manuscript (PDF / 3MB)

Hall, J. G., ed. Intuitionistic Type Theory: Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980. By Per Martin-Löf (1980). Digital Edition (2021).

• Download Published Version (PDF / 1MB)

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

• Download Accepted Manuscript (PDF / 112kB)

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

• Download Accepted Manuscript (PDF / 147kB)

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

• Download Accepted Manuscript (PDF / 62kB)

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

• Download Accepted Manuscript (PDF / 124kB)

Davies, Gareth and Hall, Jon (2020). The impact engineer—Weaving the Golden Braid. Expert Systems, 37(6), article no. e12646.

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

• Download Published Version (PDF / 53kB)

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

• Download Accepted Manuscript (PDF / 1MB)

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

• Download Accepted Manuscript (PDF / 495kB)

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

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

• Request a copy from the author This file is not available for public download
• Download Accepted Manuscript (PDF / 1MB)

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

• Download Published Version (PDF / 4MB)

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

• Download Accepted Manuscript (PDF / 725kB)

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

• Download Published Version (PDF / 1MB)

Costantini, Silvana; Hall, Jon G. and Rapanotti, Lucia (2017). Problem drift: a risk model for complex socio-technical projects. In: CEUR Workshop Proceedings: STPIS 2017 (Kowalski, Stewart; Bednar, Peter and Bider, Ilia eds.), 1854.

• Download Accepted Manuscript (PDF / 656kB)

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

• Download Accepted Manuscript (PDF / 364kB)

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

Hall, Jon G. and Rapanotti, Lucia (2016). Parametrising a theory of software problem solving. In: TOSE '16: Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering, ACM, New York, pp. 22–25.

• Download Accepted Manuscript (PDF / 808kB)

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

• Download Published Version (PDF / 1MB)

Wermelinger, Michel; Hall, Jon; Rapanotti, Lucia; Barroca, Leonor; Ramage, Magnus and Bandara, Arosha (2015). Teaching software systems thinking at The Open University. In: Proceedings of the 37th International Conference on Software Engineering, IEEE, pp. 307–310.

• Download Published Version (PDF / 82kB)

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

• Download Published Version (PDF / 1MB)

Kaminski, Dariusz; Hall, Jon G. and Rapanotti, Lucia (2015). Towards process design for efficient organisational problem solving. In: BUSTECH 2015, IARIA, pp. 20–25.

• Download Accepted Manuscript (PDF / 228kB)

Markov, Georgi; Hall, Jon G. and Rapanotti, Lucia (2015). An engineering framework for dealing with change problems: theoretical underpinnings and initial evaluation. In: The Organization Collection, Berkeley, California, 15, 2015.

Hall, Jon G. and Rapanotti, Lucia (2015). Masters-level software engineering education and the enriched student context. In: Proceedings of the 37th International Conference on Software Engineering: Volume 2, IEEE Press, pp. 311–314.

• Download Accepted Manuscript (PDF / 110kB)

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

• Download Accepted Manuscript (PDF / 2MB)

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

• Request a copy from the author This file is not available for public download

Basu, Dalim and Hall, Jon G. (2014). Big data, big opportunities. In: BCS, The Chartered Institute for IT ed. Big Data: Opportunities and Challenges. Swindon: BCS Learning and Development Ltd., pp. 46–51.

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

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

• Request a copy from the author This file is not available for public download

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

• Download Published Version (PDF / 302kB)

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

• Request a copy from the author This file is not available for public download

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

• Request a copy from the author This file is not available for public download

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

• Request a copy from the author This file is not available for public download

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

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

• Request a copy from the author This file is not available for public download

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

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

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

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

• Download Published Version (PDF / 467kB)

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

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

Avgeriou, Paris; Grundy, John; Hall, Jon G.; Lago, Patricia and Mistrik, Ivan eds. (2011). Relating Software Requirements and Architectures. Springer.

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

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

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

• Download Published Version (PDF / 4MB)

Hall, Jon G. and Rapanotti, Lucia (2011). Supporting Computing professionals on part-time research degrees. Technical Report 2011/02; Department of Computing, The Open University.

• Download Published Version (PDF / 2MB)

Hall, Jon G. (2011). The global knot: how problems tangle in the world's economy. 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. IGI-Global, pp. 70–76.

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

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

Hall, Jon (2011). Editorial: genealogical knowledge engineering. In Expert Systems: The Journal of Knowledge Engineering Expert Systems, 28 (2), pp. 97-100.

Hall, Jon G. (2011). Editorial: Neuronomics: connectionist economics. In Expert Systems: The Journal of Knowledge Engineering Expert Systems, 28 (1), pp. 1-4.

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

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

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

Hall, Jon G. and Rapanotti, Lucia (2010). Give us a clue! Technical Report 2010/16; Department of Computing, The Open University.

• Download Published Version (PDF / 321kB)

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

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

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

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

• Download Published Version (PDF / 564kB)

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

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

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

• Download Accepted Manuscript (PDF / 89kB)

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

• Download Published Version (PDF / 505kB)

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

Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael (2010). Problem Oriented Software Engineering. Technical Report 2010/03; Department of Computing, The Open University.

• Download Published Version (PDF / 409kB)

Hall, Jon; Kaindl, Hermann; Lavazza, Luigi; Buchgeher, Georg and Takaki, Osamu eds. (2010). Fifth International Conference on Software Engineering Advances (ICSEA 2010): Proceedings. Los Alamitos, CA: IEEE Computer Society.

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

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

• Download Published Version (PDF / 279kB)

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

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

Overton, Jerry; Hall, Jon; Rapanotti, Lucia and Yu, Yijun (2009). Towards a problem oriented engineering theory of pattern-oriented analysis and design. In: Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International pp. 255–260.

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

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

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

• Download Accepted Manuscript (PDF / 1MB)

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

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

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

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

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

Rapanotti, Lucia and Hall, Jon G. (2008). Problem Oriented Engineering in action: experience from the frontline of postgraduate education. Technical Report 2008/16; Department of Computing, The Open University.

• Download Published Version (PDF / 9MB)

Hall, Jon and Rapanotti, Lucia (2008). Problem frames for sociotechnical systems. In: Zaphiris, Panayiotis and Ang, Chee Siang eds. Human Computer Interaction: Concepts, Methodologies, Tools, and Applications. Hershey, PA: Information Science Reference, pp. 713–731.

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

Logie, Robert; Hall, Jon and Waugh, Kevin (2008). Towards mining for influence in a multi agent environment. In: Weghorn, Hans and Abraham, Ajith eds. 2nd European Conference on Data Mining (ECDM 2008). Lisbon, Portugal: IADIS press, pp. 97–101.

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

• Download Published Version (PDF / 1MB)

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

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

• Download Published Version (PDF / 562kB)

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

• Download Accepted Manuscript (PDF / 98kB)

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

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

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

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

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

Hall, Jon G. and Rapanotti, Lucia (2007). Assurance-driven development in Problem Oriented Engineering. Technical Report 2007/15; Department of Computing, The Open University.

• Download Published Version (PDF / 275kB)

Hall, Jon; Mannering, Derek and Rapanotti, Lucia (2007). Arguing safety with Problem oriented Software Engineering. In: Fundamental Approaches to Software Engineering (Dwyer, Matthew, B. and Lopes, Antonia eds.), Lecture Notes in Computer Science, Springer Verlag, pp. 398–411.

Mannering, Derek; Hall, Jon and Rapanotti, Lucia (2007). Safety Process Evolution: Managing Improvement, Integration and Obsolescence. In: Fundamental Approaches to Software Engineering (Dwyer, Matthew, B. and Lopes, Antonia eds.), Lecture Notes in Computer Science, Springer Verlag, pp. 398–411.

Mannering, Derek; Hall, Jon and Rapanotti, Lucia (2007). Safety process improvement with POSE and Alloy. In: Saglietti, F and Oster, N eds. Computer Safety, Reliability, and Security. Lecture Notes in Computer Science, 4680/2007. Berlin: Springer, pp. 252–257.

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

Hall, Jon G.; Mannering, Derek and Rapanotti, Lucia (2007). Arguing safety with Problem Oriented Software Engineering. Technical Report 2007/04; Department of Computing, The Open University.

• Download Published Version (PDF / 296kB)

Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia (2007). SIL4 process improvement with POSE and Alloy. Technical Report 2007/05; Department of Computing, The Open University.

• Download Published Version (PDF / 422kB)

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

• Download Published Version (PDF / 1MB)

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

• Download Published Version (PDF / 509kB)

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

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

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

• Download Accepted Manuscript (PDF / 239kB)

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

• Download Published Version (PDF / 217kB)

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

• Download Published Version (PDF / 914kB)

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

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

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

• Download Published Version (PDF / 592kB)

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

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

• Download Published Version (PDF / 915kB)

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

• Download Published Version (PDF / 287kB)

Ali, Shahbaz and Hall, Jon (2006). Introducing regulatory compliance. In: ed. ISSE 2006 Securing Electronic Business Processes: Highlights of the Information Security Solutions. Vieweg Verlag.

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

Hall, Jon; Rapanotti, Lucia; Cox, Karl and Zhi, Jin eds. (2006). Proceedings of ICSE 2nd International Workshop on Applications and Advances of Problem Frames. ACM Press.

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

Tun, Thein and Hall, Jon G. (2006). Developer requirements in the PF approach. In: ed. Proceedings of the 2006 international workshop on Advances and applications of problem frames. New York: ACM Press, pp. 87–90.

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

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

• Download Accepted Manuscript (PDF / 223kB)

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

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

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

Hall, Jon G. and Rapanotti, Lucia (2005). Using PADL to specify AFrames. Technical Report 2005/07; Department of Computing, The Open University.

• Download Published Version (PDF / 318kB)

Hall, Jon G. and Rapanotti, Lucia (2005). A framework for software problem analysis. Technical Report 2005/06; Department of Computing, The Open University.

• Download Published Version (PDF / 148kB)

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

• Download Published Version (PDF / 223kB)

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

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

Hilton, Adrian and Hall, Jon G. (2005). Developing critical systems with PLD components. In: Electronic Notes in Theoretical Computer Science, 70(3) pp. 385–395.

Li, Zhi; Hall, Jon G. and Rapanotti, Lucia (2004). A Constructive Approach to Problem Frame Semantics. Technical Report 2004/26; Department of Computing, The Open University.

• Download Published Version (PDF / 181kB)

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

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

• Download Published Version (PDF / 517kB)

Hilton, Adrian J and Hall, Jon G. (2004). Developing Critical Systems with PLD Components. Technical Report 2004/09; Department of Computing, The Open University.

• Download Published Version (PDF / 146kB)

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

Hilton, Adrian J. and Hall, Jon G. (2004). High-integrity interfacing to programmable logic with Ada. In: Reliable Software Technologies - Ada-Europe 2004. Ada-Europe 2004. Lecture Notes in Computer Science (Llamosí, Albert and Strohmeier, Alfred eds.), Springer, Berlin, Germany, pp. 249–260.

Cox, Karl; Hall, Jon and Rapanotti, Lucia eds. (2004). Proceedings of ICSE 1st International Workshop on Applications and Advances of Problem Frames. Stevenage: IEEE CS press.

Li, Zhi; Hall, J. G. and Rapanotti, L. (2004). Reasoning about decomposing and recomposing problem frame developments: a case study. In: Proceedings of WebNet 2001 - World Conference on the WWW and Internet (Lawrence-Fowler, Wendy and Hasebrook, Joachim eds.), AACE.

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

• Download Published Version (PDF / 166kB)

Hall, Jon G. and Rapanotti, Lucia (2003). Problem Frames for Socio-technical Systems. Technical Report 2003/09; Department of Computing, The Open University.

• Download Published Version (PDF / 233kB)

Hall, J.G. and Rapanotti, L. (2003). A Reference model for Requirements Engineering. In: Proceedings of the 11th IEEE International Requirements Engineering Conference, pp. 181–187.

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

• Download Published Version (PDF / 175kB)

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

• Download Accepted Manuscript (PDF / 159kB)

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

• Download Published Version (PDF / 216kB)

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

• Download Published Version (PDF / 194kB)

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

• Download Published Version (PDF / 144kB)

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

• Download Published Version (PDF / 353kB)

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

• Download Published Version (PDF / 158kB)

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

• Download Published Version (PDF / 206kB)

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

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

• Download Accepted Manuscript (PDF / 63kB)

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

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

• Download Published Version (PDF / 163kB)

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

• Download Published Version (PDF / 87kB)

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

• Download Published Version (PDF / 100kB)

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

• Download Published Version (PDF / 193kB)

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

• Download Published Version (PDF / 294kB)

Hall, Jon and Rapanotti, Lucia (2001). Educational JavaBeans: a requirements-driven architecture. In: Proceedings of WebNet 2001 - World Conference on the WWW and Internet (Lawrence-Fowler, Wendy and Hasebrook, Joachim eds.), AACE.

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

• Download Published Version (PDF / 238kB)

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

• Download Published Version (PDF / 4MB)

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

• Download Published Version (PDF / 368kB)

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

• Download Accepted Manuscript (PDF / 261kB)

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

• Download Published Version (PDF / 123kB)

Hall, Jon G. and Rapanotti, Lucia (2000). The Triangulation Calculus. Technical Report 2000/01; Department of Computing, The Open University.

• Download Published Version (PDF / 136kB)

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

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

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

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

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

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