Michael Jackson

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1987
Publication period end
2009
Number of co-authors
21

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Tun, Thein Than, Jackson, Michael, Laney, Robin C., Nuseibeh, Bashar, Yu, Yijun (2009): Are Your Lights Off? Using Problem Frames to Diagnose System Failures. In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009 , 2009, . pp. 343-348. http://doi.ieeecomputersociety.org/10.1109/RE.2009.31

Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana (2008): Software engineering and formal methods. In Communications of the ACM, 51 (9) pp. 54-59. http://doi.acm.org/10.1145/1378727.1378742

Jackson, Michael (2006): What Can We Expect from Program Verification?. In IEEE Computer, 39 (10) pp. 65-71. http://doi.ieeecomputersociety.org/10.1109/MC.2006.363

Laney, Robin C., Barroca, Leonor, Jackson, Michael, Nuseibeh, Bashar (2004): Composing Requirements Using Problem Frames. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 122-131. http://doi.ieeecomputersociety.org/10.1109/RE.2004.11

Lin, Luncheng, Nuseibeh, Bashar, Ince, Darrel C., Jackson, Michael (2004): Using Abuse Frames to Bound the Scope of Security Problems. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 354-355. http://doi.ieeecomputersociety.org/10.1109/RE.2004.54

Rapanotti, Lucia, Hall, Jon G., Jackson, Michael, Nuseibeh, Bashar (2004): Architecture-driven Problem Decomposition. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 80-89. http://doi.ieeecomputersociety.org/10.1109/RE.2004.7

Lin, Luncheng, Nuseibeh, Bashar, Ince, Darrel C., Jackson, Michael, Moffett, Jonathan D. (2003): Introducing Abuse Frames for Analysing Security Requirements. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 371-372. http://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800371abs.htm

Khazaei, Babak, Jackson, Michael (2002): Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Dr. In: HCC 2002 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments 3-6 September, 2002, Arlington, VA, USA. pp. 19-. http://csdl.computer.org/comp/proceedings/hcc/2002/1644/00/16440019abs.htm

Hall, Jon G., Jackson, Michael, Laney, Robin C., Nuseibeh, Bashar, Rapanotti, Lucia (2002): Relating Software Requirements and Architectures Using Problem Frames. In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering RE 2002 9-13 September, 2002, Essen, Germany. pp. 137-144. http://csdl.computer.org/comp/proceedings/re/2002/1465/00/14650137abs.htm

Jackson, Michael (2001): Formalism and Informality in RE. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 269. http://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250269abs.htm

Gunter, Carl A., Gunter, Elsa L., Jackson, Michael, Zave, Pamela (2000): A Reference Model for Requirements and Specifications-Extended Abstract. In: ICRE 2000 , 2000, . pp. 189. http://csdl.computer.org/comp/proceedings/icre/2000/0565/00/05650189abs.htm

Zave, Pamela, Jackson, Michael (1997): Telecommunications Service Requirements: Principles for Managing Complexity. In Requir. Eng., 2 (2) pp. 92-101. http://

Zave, Pamela, Jackson, Michael (1997): Requirements for Telecommunications Services: An Attack on Complexity. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 106-117. http://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400106abs.htm

Jackson, Michael (1995): Problems and requirements (software development). In: Second IEEE International Symposium on Requirements Engineering 1995 March 27 - 29, 1995, York, England. pp. 2-9. http://csdl.computer.org/comp/proceedings/re/1995/7017/00/70170002abs.htm

Jackson, Michael, Zave, Pamela (1993): Domain Descriptions. In RE, 0 (0) pp. 56-64.

Wyk, Christopher J. Van, Jackson, Michael, Wall, David W. (1987): Processing Transactions. In Communications of the ACM, 30 (12) pp. 1000-1010.

Jackson, Michael (2000): Problem Frames: Analysing & Structuring Software Development Problems, Addison-Wesley Professional,

Jackson, Michael (2001): Problem Frames: Analysing & Structuring Software Development Problems, Addison-Wesley Professional,