Michael Jackson
Consultancy &
Research in Software Development
Home
Current Research
Past Research
Books
Papers
Selected papers, book chapters, &c
The electronic versions of the documents
below are provided for personal use only.
In most cases copyright is owned by the
publisher; please acknowledge it explicitly
if you copy the paper.
The papers are roughly arranged in topics:
In a few cases the same paper appears in more than
one section.
Software Development Generally
- 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
Home
Current Research
Past Research
Books
Papers
This page last updated: 8th February 2007.