Currently browsing: Items authored or edited by Michael Jackson

Jackson, Michael (2021). An approach to the judicial evaluation of evidence from computers and computer systems. Digital Evidence and Electronic Signature Law Review, 18 pp. 50–55.

• Download Published Version (PDF / 206kB)

Bennaceur, Amel; Bandara, Arosha; Jackson, Michael; Liu, Wei; Montrieux, Lionel; Tun, Thein; Yu, Yijun and Nuseibeh, Bashar (2014). Requirements-driven mediation for collaborative security. In: SEAMS'14 - The 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2-3 Jun 2014, Hyderabad.

• Download Accepted Manuscript (PDF / 624kB)

Tun, Thein; Yu, Yijun; Jackson, Michael; Laney, Robin and Nuseibeh, Bashar (2013). Aspect interactions: a requirements engineering perspective. In: Moreira, Ana; Chitchyan, Ruzanna; Araujo, João and Rashid, Awais eds. Aspect-Oriented Requirements Engineering. Heidelberg: Springer, pp. 271–286.

• Download Accepted Manuscript (PDF / 225kB)

Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael (2010). Problem Oriented Software Engineering.

• Download Published Version (PDF / 409kB)

Tun, Thein Than; Trew, Tim; Jackson, Michael; Laney, Robin and Nuseibeh, Bashar (2009). Specifying features of an evolving software system. Software: Practice and Experience, 39(11) pp. 973–1002.

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

Tun, Thein; Jackson, Michael; Laney, Robin; Nuseibeh, Bashar and Yu, Yijun (2009). Are your lights off? Using problem frames to diagnose system failures. In: 17th IEEE International Requirements Engineering Conference, 31 Aug - 4 Sep 2009, Atlanta, Georgia, USA.

• Download Published Version (PDF / 240kB)

Tun, Thein Tun; Jackson, Michael; Laney, Robin; Nuseibeh, Bashar and Yu, Yijun (2009). Are Your Lights Off? Using Problem Frames to Diagnose System Failures.

• Download Published Version (PDF / 355kB)

Jackson, Michael (2008). Automated software engineering: supporting understanding. Automated Software Engineering, 15(3-4) pp. 275–281.

• Download Accepted Manuscript (PDF / 64kB)

Tun, Thein Than; Laney, Robin; Jackson, Michael and Nuseibeh, Bashar (2008). Tool support to derive specifications for conflict-free composition.

• Download Published Version (PDF / 367kB)

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.

Laney, Robin; Tun, Thein Than; Jackson, Michael and Nuseibeh, Bashar (2007). Composing features by managing inconsistent requirements. In: Proceedings of 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI 2007), 3-5 Sep 2007, Grenoble, France, pp. 141–156.

• Download Unknown Version (PDF / 285kB)

Jackson, Michael (2007). Testing the machine in the world. In: Bin, Eyal; Ziv, Avi and Ur, Shmuel eds. Hardware and Software, Verification and Testing. Lecture Notes in Computer Science; Programming and Software Engineering (Vol. 4383). Springer, pp. 198–203.

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

• Download Published Version (PDF / 914kB)

Jackson, Michael (2006). What can we expect from program verification? IEEE Computer, 39(10) pp. 65–71.

• Download Accepted Manuscript (PDF / 1MB)

Rapanotti, Lucia; Hall, Jon G. and Jackson, Michael (2006). Problem transformations in solving the Package Router Control problem.

• Download Published Version (PDF / 915kB)

Laney, Robin; Jackson, Michael and Nuseibeh, Bashar (2005). Composing Problems: Deriving specifications from inconsistent requirements.

• Download Published Version (PDF / 735kB)

Jackson, Michael (2005). Problem structure and dependable architecture. In: De Lemos, Rojerio; Gacek, Cristina and Romanovsky, Alexander B. eds. Architecting Dependable Systems III. Lecture Notes in Computer Science (3549). Berlin: Springer, pp. 322–330.

Jackson, Michael (2004). Routing optimizations for telecomms network system and method. Michael Jackson, 6829346.

Barroca, Leonor; Fiadeiro, José L.; Jackson, Michael and Laney, Robin (2004). Dynamic Assembly of Problem Frames.

• Download Published Version (PDF / 192kB)

Haley, Charles B.; Jackson, Michael A.; Laney, Robin C. and Nuseibeh, Bashar (2003). An Example Using Problem Frames: Analysis of a Lighting Control System.

• Download Published Version (PDF / 241kB)

Hayes, Ian J.; Jackson, Michael A. and Jones, Cliff B. (2003). Determining the specification of a control system from that of its environment. In: FME 2003: Formal Methods: International Symposium of Formal Methods Europe Pisa, Italy, September 8-14, 2003, Lecture Notes in Computer Science, Springer Berlin, Heidelberg, Germany, pp. 154–169.

Lin, Lun-Cheng; Nuseibeh, Bashar; Ince, Darrel; Jackson, Michael and Moffett, Jonathan (2003). Analysing Security Threats and Vulnerabilities Using Abuse Frames.

• Download Published Version (PDF / 152kB)

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

• Download Published Version (PDF / 216kB)

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)

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

• Download Published Version (PDF / 100kB)

Jackson, Michael (2001). Problem Frames: Analysing and Structuring Software Development Problems. New York: Addison-Wesley.