Currently browsing: Items authored or edited by Michael Jackson

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

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)

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.

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

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

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

• Download Unspecified Version (PDF / 64kB)

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

• Download Unspecified Version (PDF / 1MB)

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

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)

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.

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)

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

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)

Tun, Thein Tun; Jackson, Michael; Laney, Robin; Nuseibeh, Bashar and Yu, Yijun (2009). Are Your Lights Off? Using Problem Frames to Diagnose System Failures. Technical Report 2009/07; Department of Computing, The Open University.

• Download Published Version (PDF / 355kB)

Tun, Thein Than; Laney, Robin; Jackson, Michael and Nuseibeh, Bashar (2008). Tool support to derive specifications for conflict-free composition. Technical Report 2008/13; Department of Computing, The Open University.

• Download Published Version (PDF / 367kB)

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

Laney, Robin; Jackson, Michael and Nuseibeh, Bashar (2005). Composing Problems: Deriving specifications from inconsistent requirements. Technical Report 2005/08; Department of Computing, The Open University.

• Download Published Version (PDF / 735kB)

Barroca, Leonor; Fiadeiro, José L.; Jackson, Michael and Laney, Robin (2004). Dynamic Assembly of Problem Frames. Technical Report 2004/13; Department of Computing, The Open University.

• 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. Technical Report 2003/18; Department of Computing, The Open University.

• Download Published Version (PDF / 241kB)

Lin, Lun-Cheng; Nuseibeh, Bashar; Ince, Darrel; Jackson, Michael and Moffett, Jonathan (2003). Analysing Security Threats and Vulnerabilities Using Abuse Frames. Technical Report 2003/10; Department of Computing, The Open University.

• Download Published Version (PDF / 152kB)

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)

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)