Constructive Methods of Program Design. - Michael Jackson 001 (ECI, 1976)

Information Systems: Modelling, Sequencing and Transformations. - Michael Jackson 001 (ICSE, 1978)

Software Development as an Engineering Problem. - Michael Jackson 001 (Angew. Inform., 1982)

Processing Transactions. - Christopher J. Van Wyk; Michael Jackson 001; David W. Wall (Commun. ACM, 1987)

Power and Limitations of Formal Methods for Software Fabrication. - Michael Jackson 001 (J. Inf. Technol., 1987)

Software Development in the Year 2000. - Michael Jackson 001 (ICSE, 1989)

Software Engineering for Business DP: Looking Back and Looking Forward. - Michael Jackson 001 (ICSE, 1989)

Computer Based Systems Engineering Workshop. - Jonah Z. Lavi; Ashok K. Agrawala; Raymond J. A. Buhr; Ken Jackson; Michael Jackson 001; Bernard Lang (CSEE, 1991)

Description is our Business. - Michael Jackson 001 (VDM Europe (1), 1991)

Techniques for Partial Specification and Specification of Switching Systems. - Pamela Zave; Michael Jackson 001 (VDM Europe (1), 1991)

Composition of Descriptions : A Progress Report. - Pamela Zave; Michael Jackson 001 (Formal Methods in Systems Engineering, 1993)

Domain descriptions. - Michael Jackson 001; Pamela Zave (RE, 1993)

Conjunction as Composition. - Pamela Zave; Michael Jackson 001 (ACM Trans. Softw. Eng. Methodol., 1993)

Problems, Descriptions and Objects. - Michael Jackson 001 (OOIS, 1994)

The role of software architecture in requirements engineering. - M. Chandra Shekaran; David Garlan; Michael Jackson 001; Nancy R. Mead; Colin Potts; Howard B. Reubenstein (ICRE, 1994)

Problems, methods and specialisation. - Michael Jackson 001 (Softw. Eng. J., 1994)

Problems, Methods and Specialization. - Michael Jackson 001 (IEEE Softw., 1994)

Software requirements and specifications - a lexicon of practice, principles and prejudices. - Michael A. Jackson 001 (Addison-Wesley, 1995)

The World and the Machine. - Michael Jackson 001 (ICSE, 1995)

Deriving Specifications from Requirements: An Example. - Michael Jackson 001; Pamela Zave (ICSE, 1995)

Problems and requirements (software development). - Michael Jackson 001 (RE, 1995)

Desert Island Column. - Michael Jackson 001 (Autom. Softw. Eng., 1995)

Critical Reading For Software Developers. - Michael Jackson 001 (IEEE Softw., 1995)

Problems, Methods, and Structures (Abstract). - Michael Jackson 001 (SIGSOFT FSE, 1996)

Problem decomposition for reuse. - Daniel Jackson 001; Michael Jackson 001 (Softw. Eng. J., 1996)

Where Do Operations Come From: A Multiparadigm Specification Technique. - Pamela Zave; Michael Jackson 001 (IEEE Trans. Software Eng., 1996)

A Missing Element in Software Engineering Education. - Michael Jackson 001 (CSEE&T, 1997)

Problem complexity. - Michael Jackson 001 (ICECCS, 1997)

Requirements for Telecommunications Services: An Attack on Complexity. - Pamela Zave; Michael Jackson 001 (RE, 1997)

The Meaning of Requirements. - Michael Jackson 001 (Ann. Softw. Eng., 1997)

Telecommunications Service Requirements: Principles for Managing Complexity. - Pamela Zave; Michael Jackson 001 (Requir. Eng., 1997)

Four Dark Corners of Requirements Engineering. - Pamela Zave; Michael Jackson 001 (ACM Trans. Softw. Eng. Methodol., 1997)

The Village Telephone System: A Case Study in Formal Software Engineering. - Karthikeyan Bhargavan; Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Davor Obradovic; Pamela Zave (TPHOLs, 1998)

Formal methods and traditional engineering. - Michael Jackson 001 (J. Syst. Softw., 1998)

Will There Ever Be Software Engineering? - Michael Jackson 001 (IEEE Softw., 1998)

Defining a Discipline of Description. - Michael Jackson 001 (IEEE Softw., 1998)

A Component-Based Approach to Telecommunication Software. - Pamela Zave; Michael Jackson 001 (IEEE Softw., 1998)

Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. - Michael Jackson 001; Pamela Zave (IEEE Trans. Software Eng., 1998)

The Role of Formalism in Method. - Michael Jackson 001 (World Congress on Formal Methods, 1999)

Specializing in Software Engineering. - Michael Jackson 001 (IEEE Softw., 1999)

Problem Frames - Analysing and Structuring Software Development Problems. - Michael A. Jackson 001 (Pearson Education, 2000)

New Feature Interactions in Mobile and Multimedia Telecommunications Services. - Pamela Zave; Michael Jackson 001 (FIW, 2000)

A Reference Model for Requirements and Specifications-Extended Abstract. - Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Pamela Zave (ICRE, 2000)

Anecdotes. - Michael Jackson 001; Frank S. Preston; Christopher Goulding (IEEE Ann. Hist. Comput., 2000)

Christopher Strachey: A Personal Recollection. - Michael Jackson 001 (High. Order Symb. Comput., 2000)

A Reference Model for Requirements and Specifications. - Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Pamela Zave (IEEE Softw., 2000)

Formalism and Informality in RE. - Michael Jackson 001 (RE, 2001)

JSP in Perspective. - Michael A. Jackson 001 (Software Pioneers, 2002)

Constructive Methods Of Program Design (Reprint). - Michael A. Jackson 001 (Software Pioneers, 2002)

Distributed media control tor multimedia communications services. - Eric Cheung; Michael Jackson 001; Pamela Zave (ICC, 2002)

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

Formalism and Informality in Software Development. - Michael Jackson 001 (Soft-Ware, 2002)

Descriptions in Software Development. - Michael Jackson 001 (UML, 2002)

Where, Exactly, Is Software Development? - Michael Jackson 001 (10th Anniversary Colloquium of UNU/IIST, 2002)

A Call Abstraction for Component Coordination. - Pamela Zave; Michael Jackson 001 (Formal Methods and Component Interaction @ ICALP, 2002)

Some Basic Tenets of Description. - Michael Jackson 001 (Softw. Syst. Model., 2002)

Determining the Specification of a Control System from That of Its Environment. - Ian J. Hayes; Michael A. Jackson 001; Cliff B. Jones (FME, 2003)

Introducing Abuse Frames for Analysing Security Requirements. - Luncheng Lin; Bashar Nuseibeh; Darrel C. Ince; Michael Jackson 001; Jonathan D. Moffett (RE, 2003)

Why software writing is difficult and will remain so. - Michael Jackson 001 (Inf. Process. Lett., 2003)

Problem Frames: A Case for Coordination. - Leonor Barroca 001; José Luiz Fiadeiro; Michael Jackson 001; Robin C. Laney; Bashar Nuseibeh (COORDINATION, 2004)

Problem Structure and Dependable Architecture. - Michael Jackson 001 (WADS, 2004)

Composing Requirements Using Problem Frames. - Robin C. Laney; Leonor Barroca 001; Michael Jackson 001; Bashar Nuseibeh (RE, 2004)

Using Abuse Frames to Bound the Scope of Security Problems. - Luncheng Lin; Bashar Nuseibeh; Darrel C. Ince; Michael Jackson 001 (RE, 2004)

Architecture-driven Problem Decomposition. - Lucia Rapanotti; Jon G. Hall; Michael Jackson 001; Bashar Nuseibeh (RE, 2004)

Seeing More of the World. - Michael Jackson 001 (IEEE Softw., 2004)

Where do you go when you're through the turnstile? - Michael Jackson 001; Pamela Zave (ICSE, 2005)

Problem frame semantics for software development. - Jon G. Hall; Lucia Rapanotti; Michael Jackson 001 (Softw. Syst. Model., 2005)

Structural Relationships among Models. - Michael Jackson 001 (MMOSS, 2006)

Testing the Machine in the World. - Michael Jackson 001 (Haifa Verification Conference, 2006)

Separating Concerns in Requirements Analysis: An Example. - Daniel Jackson 001; Michael Jackson 001 (RODIN Book, 2006)

What Can We Expect from Program Verification? - Michael Jackson 001 (Computer, 2006)

Specialising in Software Engineering. - Michael Jackson 001 (APSEC, 2007)

The Problem Frames Approach to Software Engineering. - Michael Jackson 001 (APSEC, 2007)

Deriving Specifications for Systems That Are Connected to the Physical World. - Cliff B. Jones; Ian J. Hayes; Michael A. Jackson 001 (Formal Methods and Hybrid Real-Time Systems, 2007)

Composing Features by Managing Inconsistent Requirements. - Robin C. Laney; Thein Than Tun; Michael Jackson 001; Bashar Nuseibeh (ICFI, 2007)

The Name and Nature of Software Engineering. - Michael Jackson 001 (Lipari Summer School, 2007)

Problem Oriented Software Engineering: A design-theoretic framework for software engineering. - Jon G. Hall; Lucia Rapanotti; Michael Jackson 001 (SEFM, 2007)

Automated software engineering: supporting understanding. - Michael Jackson 001 (Autom. Softw. Eng., 2008)

Software engineering and formal methods. - Mike Hinchey; Michael Jackson 001; Patrick Cousot; Byron Cook; Jonathan P. Bowen; Tiziana Margaria (Commun. ACM, 2008)

Problem frames and software engineering. - Michael Jackson 001 (Expert Syst. J. Knowl. Eng., 2008)

Problem Oriented Software Engineering: Solving the Package Router Control Problem. - Jon G. Hall; Lucia Rapanotti; Michael Jackson 001 (IEEE Trans. Software Eng., 2008)

Some Notes on Models and Modelling. - Michael Jackson 001 (Conceptual Modeling: Foundations and Applications, 2009)

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

Specifying features of an evolving software system. - Thein Than Tun; Tim Trew; Michael Jackson 001; Robin C. Laney; Bashar Nuseibeh (Softw. Pract. Exp., 2009)

The Operational Principle and Problem Frames. - Michael Jackson 001 (Reflections on the Work of C. A. R. Hoare, 2010)

Engineering and Software Engineering. - Michael Jackson 001 (The Future of Software Engineering, 2010)

A Tolerant Approach to Faults. - Michael Jackson 001 (Dependable and Historic Computing, 2011)

Simplicity and Complexity in Programs and Systems. - Michael Jackson 001 (Conquering Complexity, 2012)

Linked data for humanities research - The SPQR experiment. - Tobias Blanke; Gabriel Bodard; Michael Bryant 001; Stuart E. Dunn; Mark Hedges; Michael Jackson 001; David Scott (DEST, 2012)

Formalisms and structures. - Michael Jackson 001 (FormSERA@ICSE, 2012)

Aspects of abstraction in software development. - Michael Jackson 001 (Softw. Syst. Model., 2012)

Aspect Interactions: A Requirements Engineering Perspective. - Thein Than Tun; Yijun Yu; Michael Jackson 001; Robin C. Laney; Bashar Nuseibeh (Aspect-Oriented Requirements Engineering, 2013)

Requirements-driven mediation for collaborative security. - Amel Bennaceur; Arosha K. Bandara; Michael Jackson 001; Wei Liu; Lionel Montrieux; Thein Than Tun; Yijun Yu; Bashar Nuseibeh (SEAMS, 2014)

Behaviours as Design Components of Cyber-Physical Systems. - Michael Jackson 001 (LASER Summer School, 2014)

Topsy-turvy requirements. - Michael Jackson 001 (Requir. Eng., 2014)

Requirements, behaviours, and software engineering (keynote). - Michael Jackson 001 (RE, 2015)

System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems. - Michael Jackson 001 (Dependable Software Systems Engineering, 2015)

Engineering by Software: System Behaviours as Components. - Michael Jackson 001 (Present and Ulterior Software Engineering, 2017)

The Right-Hand Side Problem: Research Topics in RE. - Michael Anthony Jackson (RE, 2017)