Currently browsing: Items authored or edited by Jon Hall

107 items in this list.
Generated on Mon Sep 28 05:24:52 2020 BST.

Jump to:

2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000

2020To Top

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.

2019To Top

2018To Top

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.

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.

2017To Top

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

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.

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.

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.

2016To Top

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.

2015To Top

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.

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.

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.

2014To Top

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.

2013To Top

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.

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.

2012To Top

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. (2012). Computing education that doesn't compute. Expert Systems: The Journal of Knowledge Engineering, 29(3) pp. 213–215.

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.

2011To Top

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.

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.

2010To Top

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.

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.

2009To Top

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.

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.

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.

2008To Top

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.

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 Rapanotti, Lucia (2008). The discipline of natural design. In: Proceedings of the Design Research Society Conference 2008, 16-19 Jul 2008, Sheffield, UK.

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.

2007To Top

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.

2006To Top

Rapanotti, L.; Hall, J. G. and Li, Z. (2006). Deriving specifications from requirements through problem reduction. 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.

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.

2005To Top

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

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.

2004To Top

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: Llamosí, Albert and Strohmeier, Alfred eds. Reliable software technologies: Ada-Europe 2004. Lecture notes in computer science (3063). Berlin, Germany: Springer, pp. 249–260.

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.

2003To Top

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

2002To Top

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.

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.

2001To Top

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.

2000To Top

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.

Export

Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0