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

178 items in this list.
Generated on Sat Jan 18 08:40:21 2025 GMT.

2024To Top

Hall, Jon G. (2024). Digital risk. ITNOW, 66(1) p. 65.

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.

2023To Top

Hall, Jon G. (2023). The UK appoints its first visionary AI Vice Chancellor.

Hall, Jon G. (2023). Insight: Leadership — The Wrath of the CIO. ITNOW, 66(2) p. 33.

2022To Top

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

Hall, Jon G. (2022). A change singularity: increasing knowledge volatility.

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

2021To Top

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

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.

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

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

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

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

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

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

2020To Top

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.

2019To Top

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.

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

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

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.

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). Systematic concept identification and evaluation for IT/business alignment.

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.

Hall, Jon G. and Rapanotti, Lucia (2016). A design theory for software engineering.

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.

Hall, Jon G. and Rapanotti, Lucia (2015). A General Theory of Engineering: Thinking Bigger than Software.

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

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

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

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.

2013To Top

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.

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 G. (2013). Editorial: Is tangled the new wicked? Expert Systems: The Journal of Knowledge Engineering, 30(2) p. 128.

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

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.

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.

2012To Top

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). eiπ + 1 = 0 for Computing.

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.

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

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.

Hall, Jon G. and Rapanotti, Lucia (2011). Supporting Computing professionals on part-time research degrees.

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.

Hall, Jon (2011). Editorial: genealogical knowledge engineering.

Hall, Jon G. (2011). Editorial: Neuronomics: connectionist economics.

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.

Hall, Jon G. and Rapanotti, Lucia (2010). Give us a clue!

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.

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.

Nkwocha, A.; Hall, Jon G. and Rapanotti, Lucia (2010). Design rationale capture for process improvement in the globalised enterprise: an industrial study.

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.

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

Rapanotti, Lucia and Hall, Jon G. (2008). Problem Oriented Engineering in action: experience from the frontline of postgraduate education.

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.

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.

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

2007To Top

Hall, Jon G. and Rapanotti, Lucia (2007). Assurance-driven development in Problem Oriented Engineering.

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

Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia (2007). SIL4 process improvement with POSE and Alloy.

Hall, Jon G.; Rapanotti, Lucia; Cox, Karl and Bleistein, Steven J. (2007). Towards Normal Organisational Problem Solving.

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.

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

Brier, John; Rapanotti, Lucia and Hall, Jon G. (2006). Capturing Change Descriptions as Patterns in an Organisation's Changing Socio-Technical System.

Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael (2006). Problem-oriented software engineering.

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.

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.

Rapanotti, Lucia; Hall, Jon G. and Li, Zhi (2006). Problem Reduction: a systematic technique for deriving Specifications from Requirements.

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.

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.

Cox, Karl and Hall, Jon G. (2005). Special Issue of Information and Software Technology on Problem Frames. In: Cox, Karl; Hall, Jon and Rapanotti, Lucia eds. Not Set, Volume 47 (Vol 47, No).

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.

Hall, Jon G. and Rapanotti, Lucia (2005). A framework for software problem analysis.

Brier, John; Rapanotti, Lucia and Hall, Jon G. (2005). Capturing Change in Socio-technical System with Problem Frames.

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

Li, Zhi; Hall, Jon G. and Rapanotti, Lucia (2004). A Constructive Approach to Problem Frame Semantics.

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.

Hilton, Adrian J and Hall, Jon G. (2004). Developing Critical Systems with PLD Components.

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.

2003To Top

Logie, Robert; Hall, Jon G. and Waugh, Kevin G (2003). Using safety and liveness properties to drive learning in a multi-agent system.

Hall, Jon G. and Rapanotti, Lucia (2003). Problem Frames for Socio-technical Systems.

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.

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

Rapanotti, Lucia; Hall, Jon G.; Jackson, Michael and Nuseibeh, Bashar (2003). Architecture-driven Problem Decomposition.

Logie, Robert; Hall, Jon G. and Waugh, Kevin G. (2003). Beliefs, desires and intentions in a hybrid coached agent architecture.

Hall, Jon G. and Rapanotti, Lucia (2003). A Reference Model for Requirements Engineering.

Hall, Jon G. and Rapanotti, Lucia (2003). Towards a semantics of Problem Frames.

Hilton, Adrian and Hall, Jon G. (2003). Mandated Requirements for Hardware/Software Combination in Safety-Critical Systems.

Hall, Jon G. and Silva, Andres (2003). A Requirements-based Framework for the Analysis of Socio-technical System Behaviour.

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.

Hilton, Adrian and Hall, Jon G. (2002). Targetting PLDs for high-level High Integrity Systems Development.

Dunckley, Lynne; Rapanotti, Lucia and Hall, Jon G. (2002). Low Cost Remote Evaluation with Synchronous Groupware.

Hall, Jon G.; Jackson, Michael; Laney, Robin C.; Nuseibeh, Bashar and Rapanotti, Lucia (2002). Relating Software Requirements and Architectures Using Problem Frames.

Dunkley, Lynne; Rapanotti, Lucia and Hall, Jon G. (2002). Extending Low-Cost Remote Evaluation with Synchronous Communication.

Hilton, Adrian and Hall, Jon G. (2002). Refining Specifications to Programmable Logic.

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.

Hilton, Adrian and Hall, Jon G. (2001). Proving Safety Properties of FPGAs.

Hall, J. G. and Gurukumba, T. (2001). Decomposing the DSub Retrenchment.

Rapanotti, Lucia and Hall, Jon G. (2001). Educational Java Beans.

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.

Hilton, Adrian and Hall, Jon G. (2000). On Applying Software Development Best Practice to FPGAs in Safety-Critical Systems.

Hall, Jon G. and Rapanotti, Lucia (2000). The Triangulation Calculus.

1999To Top

Baker-Finch, Clem; King, David; Hall, Jon G. and Trinder, Phil (1999). An Operational semantics for parallel call-by-need.

1998To Top

Hall, Jon G. and Barroca, Leonor (1998). A Coloured Petri Net Seminatics of Software Architectures.

Eckert, Claudia and Hall, Jon G. (1998). Shape Grammars for Knitwear Cable Design.

Hall, Jon G.; Baker-Finch, Clem; Trinder, Philip W. and King, David J. (1998). An Operational semantics for parallel lazy evaluation.

1997To Top

Hall, Jon G. (1997). From Concrete Phase Transition Systems to ERTL.

Hall, Jon G. (1997). An Algebra of High Level Petri Nets.

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