Michael Jackson; Engineering and Software Engineering; in S Nanz ed, The Future of Software Engineering, Springer Verlag 2010. pdf
Michael Jackson; Engineering and Software; in Bashar Nuseibeh and Pamela Zave eds, Software Requirements and Design: The Work of Michael Jackson; Good Friends Publishing Company, Chatham NJ, USA, 2010. pdf
Michael Jackson; The Name and Nature of Software Engineering; in E Boerger and A Cisternino eds, Advances in Software Engineering, LNCS 5316, pages 1-38, Springer verlag, 2008. pdf
Michael Jackson; Formalism and Intuition in Software Engineering;s in Juergen Muench and Klaus Schmid eds, Perspectives on the Future of Software Engineering: a Festschrift in Honour of Dieter Rombach, Springer verlag 2013. pdf
Michael Jackson; Topsy-Turvy Requirements; in Modelling and Quality in Requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday, Norbert Seyff and Anne Koziolek eds, Verlagshaus Monsenstein und Vannerdat, Muenster, 2012. pdf
Michael Jackson; Aspects of abstraction in software development; Software & Systems Modeling Volume 11 Issue 4, October 2012. pdf
Michael Jackson; A Tolerant Approach to Faults; in C B Jones and J L Lloyd eds, Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday, LNCS 6875, Springer Verlag, 2011. pdf
Michael Jackson; Simplicity and Complexity in Programs and Systems; in Mike Hinchey and Lorcan Coyle eds, Conquering Complexity, Springer Verlag, 2012. pdf
Michael Jackson; Representing structure in a software system design; The Journal of Design Studies, special issue on Studying Professional Software Designers, Volume 31 Number 6, November 2010. pdf
Michael Jackson; Some Notes on Models and Modelling; in Borgida, Chaudhri, Giorgini, Yu eds, Conceptual Modelling: Foundations and Applications: Essays in Honor of John Mylopoulos, LNCS 5600, pages 68-81, Springer Verlag, Berlin, 2009. pdf
Michael Jackson; Refinement, Problems and Structures (extended abstract); in Proceedings of Dagstuhl Seminar 09381, 13-18 September 2009. pdf
Michael Jackson; Automated Software Engineering: Supporting Understanding; Automated Software Engineering Volume 15 Numbers 3-4, pages 275-281, December 2008. pdf
Michael Jackson; Testing the Machine In the World; Proceedings of IBM Haifa Verification Conference 2006, E Bin, A Ziv and S Ur eds, LNCS 4383, pages 198-203, Springer-Verlag, 2007. pdf
Michael Jackson; Some Structural Relationships Among Models In the Development of Software-Intensive Systems; Proceedings of Dagstuhl Workshop 06351 on Methods for Modelling Software Systems, August 27 to September 1st 2006, 2007. pdf
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
Michael Jackson; Some Principles and Ideas of the Problem Frames Approach; in Bashar Nuseibeh and Pamela Zave eds, Software Requirements and Design: The Work of Michael Jackson; Good Friends Publishing Company, Chatham NJ, USA, 2010. pdf
Michael Jackson; The Operational Principle and Problem Frames; in Cliff B Jones, A W Roscoe and Kenneth R Wood eds, Reflections on the Work of C A R Hoare, Springer Verlag, London, 2010. pdf
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 WOFACS98, 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
Robin Laney, Leonor Barroca, Michael Jackson and Bashar Nuseibeh; Composing Requirements Using Problem Frames; Proceedings of the 2004 International Conference on Requirements Engineering RE04, 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
Michael Jackson; Topsy-Turvy Requirements; in Norbert Seyff and Anne Koziolek eds, Festschrift for Martin Glinz, Verlagshaus Monsenstein und Vannerdat, 2012. pdf
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 (RE04), 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 RE02, Essen, 2002. pdf
Lucia Rapanotti, Jon G. Hall, Michael Jackson and Bashar Nuseibeh; Architecture-driven Problem Decomposition; Proceedings of the 2004 International Conference on Requirements Engineering (RE04), 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
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
Michael Jackson; Topsy-Turvy Requirements; in Norbert Seyff and Anne Koziolek eds, Festschrift for Martin Glinz, Verlagshaus Monsenstein und Vannerdat, 2012. pdf
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 CEIRE98, 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.
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
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