The Open UniversitySkip to content

Items Authored or Edited by Michael Jackson

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Group by: Published Date | Item Type | Authors/Editors/Creators | No Grouping
Jump to: 2014 | 2013 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001
Number of items: 15.


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 June 2014, Hyderabad. file


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


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

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 August - 4 September 2009, Atlanta, Georgia, USA. file


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


Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael (2007). Problem Oriented Software Engineering: A design-theoretic approach for software engineering. In: 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 Sept 2007, pp. 181–187.

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 September 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 September 2007, Grenoble, France, pp. 141–156. file

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 (2006). What can we expect from program verification? IEEE Computer, 39(10) pp. 65–71. file


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.


Hayes, Ian J.; Jackson, Michael A. and Jones, Cliff B. (2003). Determining the specification of a control system from that of its environment. In: International Symposium of Formal Methods: Proceedings of FME2003, 8-14 Sept 2003, Pisa, Italy, Springer Berlin, 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. file


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

This list was generated on Tue Nov 24 23:09:36 2015 GMT.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340