Michael Jackson
   Consultancy & Research in Software Development

• Software Development Generally


• Problem Frames


• Problem Frame Composition


• Relating Problems and Solutions


• Extending the Problem Frames Approach


• Telecommunications System Architecture


• Requirements and Specifications


• Information System Development


• Sequential Program Design

• Michael Jackson;   What Can We Expect From Program Verification?; IEEE Computer, Volume 39 Number 10, pages 53-59, October 2006.  pdf



• Michael Jackson;   The Structure of Software Development Thought ; in Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, Besnard D, Gacek C and Jones CB eds, pages 228-253, Springer, ISBN 1-84628-110-5, 2006.  pdf



• Michael Jackson;   The Role of Structure in Dependable Systems: A Software Engineering Perspective ; in Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, Besnard D, Gacek C and Jones CB eds, pages 16-45, Springer, ISBN 1-84628-110-5, 2006.  pdf



• Michael Jackson;   Problem Frames and Software Engineering; Journal of Information and Software Technology special issue on the 1st International Workshop on Advances and Applications of Problem Frames, K Cox, J Hall and L Rapanotti eds, Volume 47, Number 14, pages 903-912, Elsevier, November 2005.  pdf



• Michael Jackson;   Seeing More of the World; IEEE Software Volume 21 Number 6 pages 83-85, November/December 2004.  pdf



• Michael Jackson;   Problems, Subproblems and Concerns; Position paper for the Early Aspects workshop at AOSD 2004.  pdf



• Michael Jackson;   Why Program Writing Is Difficult and Will Remain So; in Information Processing Letters Volume 88, Proceedings of "Structured Programming: The Hard Core of Software Engineering", a symposium celebrating the 65th birthday of Wladyslaw M Turski, Warsaw 6 April 2003, pages 13-25, 2003.  pdf



• Michael Jackson;   A Science of Software Design? Position paper for NSF workshop on the Science of Design, Washington DC, November 2-5, 2003.  pdf



• Michael Jackson;   Where, Exactly, Is Software Development? in Bernhard K Aichernig and Tom Maibaum eds, Formal Methods at the Crossroads: from Panacea to Foundational Support; 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, March 18-21, 2002; LNCS 2757, Springer-Verlag, 2003.  pdf



• Michael Jackson;   Specialising in Software Engineering; IEEE Software Volume 16 Number 6, pages 119-121, November/December 1999.  pdf



• Michael Jackson;   Formal Methods and Traditional Engineering; Journal of Systems and Software special issue on Formal Methods Technology Transfer Volume 40 Number 3, pages 191-194, March 1998.  pdf



• Michael Jackson;   Will There Ever Be Software Engineering? IEEE Software, pages 36-39, January/February 1998.  pdf



• M A Jackson;   The General and the Particular; in Challenges and Strategies for Research in Systems Development: Papers from a conference held at Georgia State University November 1988; William W Cotterman and James A Senn eds; pages 33-40; John Wiley & Sons, 1992.  pdf



• M A Jackson;   Technology: Master or Servant? Proceedings of NordDATA'91, pages 31-45, Oslo, 16-19 June, 1991.  pdf



• M A Jackson;   Object Orientation: Classification Considered Harmful; Proceedings of NordDATA'91, pages 107-121, Oslo, 16-19 June, 1991.  pdf



• M A Jackson;   CASE Tools and Development Methods; in CASE On Trial, Kathy Spurr and Paul Layzell eds; John Wiley 1990.  pdf



• M A Jackson;   Software Manufacture; in Computing: The Next Generation, Peter Salenieks ed; Ellis Horwood Ltd, 1988.  pdf



• M A Jackson;   Software Manufacture; in Modern Trends in Information Technology: Proceedings of 7th Biennial SEARCC 1988; P V S Rao and P Sadanandan eds; Tata McGraw-Hill 1988.  pdf



• M A Jackson;   The Power and Limitations of Formal Methods for Software Fabrication; Proceedings of AIT87, 1987.  pdf



• M A Jackson;   The Youthful Immaturity of Software Engineering; Proceedings of Convencio Informatica Llatina, pages 47-51; Boixareu Editores 1985.  pdf



• M A Jackson;   Programming; Proceedings of a Workshop on Software in High-Energy Physics, pages 1-12; CERN, Geneva, 1982.  pdf



• M A Jackson;   Software Development as an Engineering Problem; Angewandte Informatik 2/82, pages 96-103; Vieweg & Sohn, February 1982.  pdf



• M A Jackson;   The Design and Use of Conventional Programming Languages; in Human Interaction with Computers, pages 321-347; H T Smith & T R Green eds; Academic Press 1980.  pdf



• M A Jackson;   COBOL; Proceedings of BCS Software Engineering Symposium, University of Belfast 1976.  pdf



• M A Jackson;   The Meaning of Imprecision; Datamation May 1968.  pdf



• M A Jackson;   The Need for Imprecision; Datamation February 1968.  pdf



---

Problem Frames

---

Daniel Jackson and Michael Jackson;   Separating Concerns in Requirements Analysis: An Example; in Proceedings of REFT 2005, M Butler et al eds; Springer LNCS 4157, pages 210-225, 2006.  pdf





Michael Jackson;   Problem Frames and Software Engineering; Information and Software Technology, special issue on the 1st International Workshop on Advances and Applications of Problem Frames, K Cox, J Hall and L Rapanotti eds, Volume 47 Number 14, pages 903-912, November 2005.  pdf





Leonor Barroca, J L Fiadeiro, M Jackson, R Laney and B Nuseibeh;   Problem Frames: A Case for Coordination; Proceedings of Coordination 2004: 6th International Conference on Coordination Models and Languages, Pisa, 2004.  pdf





Jon G. Hall, Lucia Rapanotti and Michael Jackson;   Problem frame semantics for software development; Software and Systems Modeling, Volume 4 Number 2, pages 189-198, May 2005.  pdf





Michael Jackson;   Problem Analysis and Structure; in Engineering Theories of Software Construction, Tony Hoare, Manfred Broy and Ralf Steinbruggen eds: Proceedings of NATO Summer School, Marktoberdorf, pages 3-20; IOS Press, 2000.  pdf





Michael Jackson;   The Real World; in Millennial Perspectives in Computer Science: Proceedings of the 1999 oxford-microsoft symposium in honour of C A R Hoare; Jim Davies, Bill Roscoe and Jim Woodcock eds; Palgrave, 2000.  pdf





Michael Jackson;   Problem Analysis Using Small Problem Frames; Proceedings of WOFACS ’98, Special Issue of the South African Computer Journal, 22, pages 47-60, March 1999.  pdf





Michael Jackson;   Problem Complexity; Proceedings of Third IEEE International Conference on Engineering of Complex Systems (ICECCS'97), pages 239-248, 1997.  pdf





Daniel Jackson and Michael Jackson;   Problem Decomposition for Reuse; Software Engineering Journal Volume 11 Number 1 pages 19-30, January 1996.  pdf





Michael Jackson;   Problem Architectures; Position paper for the ICSE-17 Workshop on Architectures for Software Systems; 1995.  pdf





Michael Jackson;   Problems, Methods and Specialisation; SE Journal Volume 9 Number 6 pages 249-255, November 1994; edited and abridged in IEEE Software Volume 11 Number 6 pages 57-62, November 1994.  pdf





Michael Jackson;   Problems, Descriptions and Objects; in OOIS'94: Proceedings of 1994 International Conference on Object Oriented Information Systems, pages 25-35; Springer Verlag, 1994.  pdf





M A Jackson;   Software Development Method; in A Classical Mind: Essays in Honour of C A R Hoare, A W Roscoe ed; Prentice-Hall International, 1994.  pdf





M A Jackson;   Some Complexities in Computer-Based Systems and Their Implications for System Development; Proceedings of CompEuro90; IEEE Computer Society Press, 1990.  pdf

---

Problem Frame Composition

---

Robin Laney, Leonor Barroca, Michael Jackson and Bashar Nuseibeh;   Composing Requirements Using Problem Frames; Proceedings of the 2004 International Conference on Requirements Engineering RE’04, IEEE CS Press, 2004.  pdf





Ian J Hayes, Michael A Jackson and Cliff B Jones;   Determining the specification of a control system from that of its environment; in Keijiro Araki, Stefani Gnesi and Dino Mandrioli eds, Formal Methods: Proceedings of FME2003, pages 154-169, Springer Verlag, Lecture Notes in Computer Science 2805, 2003.  pdf





---

Relating Problems and Solutions

---

Michael Jackson;   Problem Structure and Dependable Architecture; Architecting Dependable Systems III; editors: Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky, Springer 2005.  pdf





Lucia Rapanotti, Jon G. Hall, Bashar Nuseibeh and Michael Jackson;    Architecture-driven Problem Decomposition; Proceedings of the 2004 International Conference on Requirements Engineering (RE’04), Kyoto, IEEE CS Press, 2004.  pdf





Jon G Hall, Michael Jackson, Robin Laney, Bashar Nuseibeh and Lucia Rapanotti;   Relating Software Requirements and Architectures Using Problem Frames; Proceedings of RE’02, Essen, 2002.  pdf





---

Extending the Problem Frames Approach

---

Lucia Rapanotti, Jon G. Hall, Michael Jackson and Bashar Nuseibeh;   Architecture-driven Problem Decomposition; Proceedings of the 2004 International Conference on Requirements Engineering (RE’04), Kyoto, IEEE CS Press, 2004.  pdf





L Lin, B Nuseibeh, D Ince, and Michael Jackson;   Using Abuse Frames to Bound the Scope of Security Problems; Poster paper, Proceedings of 12th International Requirements Engineering Conference (RE'04), September 2004, Kyoto, Japan.  pdf





L Lin, B A Nuseibeh, D C Ince, M Jackson and J D Moffett;   Analysing Security Threats and Vulnerabilities Using Abuse Frames; Open University Technical Report No 2003/10.  pdf





---

Telecommunications System Architecture

---

Pamela Zave and Michael Jackson;   A Call Abstraction for Component Coordination; Proceedings of the ICALP2002 satellite workshop "Formal Methods and Component Interaction", Malaga, July 2002.  pdf





Pamela Zave and Michael Jackson;   New feature interactions in mobile and multimedia telecommunications services; in M Calder and E Magill eds, Feature Interactions in Telecommunications and Software Systems VI, IOS Press, Amsterdam, 2000, pages 51-66.  pdf





Karthikeyan Bhargavan, Carl A Gunter, Elsa L Gunter, Michael Jackson, Davor Obradovic and Pamela Zave;   The Village Telephone System: A Case Study in Formal Software Engineering; Proceedings of 11th International Conference on Theorem Proving in Higher-Order Logics TPHOLs98.  pdf





Michael Jackson and Pamela Zave;   Distributed Feature Composition: A Virtual Architecture For Telecommunications Services; IEEE Transactions on Software Engineering, Volume 24 Number 10, pages 831-847, October 1998.  pdf





Pamela Zave and Michael Jackson;   Telecommunications Service Requirements: Principles for Managing Complexity; Requirements Engineering Volume 2 Number 2, pages 92-101, 1997.  pdf

---

Requirements and Specifications

---

Michael Jackson;   Aspects of System Description; in Programming Methodology, A McIver and C Morgan eds; Springer Verlag, 2003.  pdf





Michael Jackson;   Some Basic Tenets of Description; Software & Systems Journal Volume 1 Number 1, pages 5-9, September 2002.  pdf





Michael Jackson;   The Real World; in Millennial Perspectives in Computer Science: Proceedings of the 1999 oxford-microsoft symposium in honour of C A R Hoare; Jim Davies, Bill Roscoe, Jim Woodcock eds; pages 157-173; Palgrave, 2000.  pdf





Carl A Gunter, Elsa A Gunter, Michael Jackson and Pamela Zave;   A Reference Model for Requirements & Specifications;; Proceedings of ICRE 2000, Chicago Ill, USA; reprinted in IEEE Software Volume 17 Number 3 pages 37-43, May/June 2000.  pdf





M A Jackson;   A Discipline of Description; Proceedings of CEIRE’98, Special Issue of Requirements Engineering Volume 3 Number 2, pages 73-78, 1998.  pdf





Michael Jackson;   Defining a Discipline of Description; IEEE Software, Volume 15 Number 5 pages 14-17, September/October 1998.  pdf





Michael Jackson;   The Meaning of Requirements; Annals of Software Engineering Special Issue on Software Requirements Engineering pages 5-22, 1997.  pdf





Michael Jackson;   Connecting Viewpoints by Shared Phenomena; Position paper in Proceedings of SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96).  pdf





Pamela Zave and Michael Jackson;   Four Dark Corners of Requirements Engineering; ACM Transactions on Software Engineering and Methodology, Volume 6 Number 1 pages 1-30, 1996.  pdf





Pamela Zave and Michael Jackson;   Where Do Operations Come From? A Multiparadigm Specification Technique; IEEE Transactions on Software Engineering Volume 22 Number 7 pages 508-582, July 1996.  pdf





Michael Jackson;   Problems and Requirements; a Keynote Address at RE'95; Proceedings of the IEEE Second International Symposium on Requirements Engineering; ACM Press, 1995.  pdf





Michael Jackson;   The World and the Machine; a Keynote Address at ICSE-17; Proceedings of ICSE-17; ACM Press, 1995.  pdf





Michael Jackson and Pamela Zave;   Deriving Specifications from Requirements: An Example; Proceedings of ICSE-17; ACM Press, 1995.  pdf





Michael Jackson and Pamela Zave;   Domain Descriptions; Proceedings of the IEEE International Symposium on Requirements Engineering, pages 56-64; IEEE CS Press, 1993.  pdf





Pamela Zave and Michael Jackson;   Conjunction as Composition; ACM Transactions on Software Engineering and Methodology, pages 379-411, October 1993.  pdf





M A Jackson;   Description Is Our Business; Keynote address for VDM'91; Proceedings of VDM'91 Volume 1, pages 1-8; LNCS 551, Springer Verlag 1991.  pdf





Pamela Zave and Michael Jackson;   Composition of Descriptions: A Progress Report; Proceedings of the Formal Methods Workshop '91; Springer Verlag LNCS, 1992.





Pamela Zave and Michael Jackson;   Techniques for Partial Specification and Specification of Switching Systems; Proceedings of VDM'91 Volume 1, pages 511-525; LNCS 551, Springer Verlag 1991.





---

Information System Development

---

Michael Jackson;   The Origins of JSP and JSD: a Personal Recollection; IEEE Annals of Software Engineering Volume 22 Number 2 pages 61-63, 66, April-June 2000.  pdf





Michael Jackson;   Jackson Development Methods: JSP and JSD; in Encyclopaedia of Software Engineering, John J Marciniak ed; John Wiley & Sons, 1994.  pdf





M A Jackson;   The JSD Method and the Future of Software Development; in Programmentwicklung im kleinen Team, pages 7-20; J Ludewig ed; Schweizer Informatikertag 1987.





M A Jackson;   A System Development Method; in Tools and Notions for Program Construction, pages 1-26; D Neel ed; Cambridge University Press 1982.  pdf





M A Jackson;   Some Principles Underlying a System Development Method; in Systems Analysis and Design: a Foundation for the 1980's, pages 185-194; W W Cotterman, J D Couger, N L Enger, F Harold eds; North-Holland 1981.





M A Jackson;   System Design for Data Processing; Proceedings of NordDATA 80, pages 369-374, Turku, Finland, 27-29 May 1980.  pdf





M A Jackson;   Information Systems: Modelling, Sequencing and Transformations; Proceedings of the 3rd International Conference On Software Engineering, pages 72-81; IEEE 1979; reprinted in R M McKeag and A M McNaughten eds; On the Construction of Programs, pages 319-341; Cambridge University Press, 1980.  pdf





Michael Jackson;   The Boating Pond; an oral contribution to system development courses; published as Section 1.6 of: Michael Jackson; System Development; Prentice-Hall International, 1983.  pdf





---

Sequential Program Design

---

Michael Jackson;   JSP in Perspective; in Software Pioneers: Contributions to Software Engineering; Manfred Broy, Ernst Denert eds; Springer, 2002.  pdf





M A Jackson;   Structure-Oriented Programming; in Program Transformation and Programming Environments; P Pepper ed; NATO ASI Series; Springer Verlag 1984.  pdf





M A Jackson;   Constructive Methods of Program Design; Proceedings of the 1st Conference of the European Cooperation in Informatics, pages 236-262; G Goos & J Hartmanis eds; Springer-Verlag LNCS 44, 1976.  pdf





M A Jackson;   Designing and Coding Program Structures; Proceedings of the Symposium on Structured Programming in COBOL, Future and Present, pages 22-53; H P Stevenson ed; ACM 1975.  pdf





M A Jackson;   Getting It Wrong: A Cautionary Tale; an oral contribution to program design courses; reprinted in JSP & JSD: The Jackson Approach to Software Development; John Cameron ed; IEEE CS Press, 1989.  pdf