Currently browsing: Items authored or edited by Jon Hall

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

Hall, Jon G. (2022). A change singularity: increasing knowledge volatility. 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. (2021). The Nature of Engineering. Open Research Online.

• Download Accepted Manuscript (PDF / 3MB)

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

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

• Download Accepted Manuscript (PDF / 1MB)

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

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)

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

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. (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. Expert Systems, 28(3), pp. 197-198.

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

Hall, Jon G. (2011). Editorial: Neuronomics: connectionist economics. 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.

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.

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)

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; 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 Unspecified Version (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.

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

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 Unspecified Version (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; 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.

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.

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.

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.

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.

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.

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.

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.

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.

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)

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.

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.

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.