Michael Jackson

Publication Activity (10 Years)

Years Active: 1976-2015
Publications (10 Years): 0

Top Topics

User Requirements

Scientific Publications

Software Development

Top Venues

Softw. Syst. Model.

Publications

Michael Jackson
Requirements, behaviours, and software engineering (keynote). RE (2015)
Michael Jackson
Behaviours as Design Components of Cyber-Physical Systems. LASER Summer School (2014)
Amel Bennaceur, Arosha K. Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu, Bashar Nuseibeh
Requirements-driven mediation for collaborative security. SEAMS (2014)
Michael Jackson
Topsy-turvy requirements. Requir. Eng. 19 (1) (2014)
Michael Jackson
Formalisms and structures. FormSERA@ICSE (2012)
Michael Jackson
Aspects of abstraction in software development. Softw. Syst. Model. 11 (4) (2012)
Tobias Blanke, Gabriel Bodard, Michael Bryant, Stuart E. Dunn, Mark Hedges, Michael Jackson, David Scott
Linked data for humanities research - The SPQR experiment. DEST (2012)
Michael Jackson
A Tolerant Approach to Faults. Dependable and Historic Computing (2011)
Michael Jackson
Engineering and Software Engineering. The Future of Software Engineering (2010)
Thein Than Tun, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Yijun Yu
Are Your Lights Off? Using Problem Frames to Diagnose System Failures. RE (2009)
Michael Jackson
Some Notes on Models and Modelling. Conceptual Modeling: Foundations and Applications (2009)
Thein Than Tun, Tim Trew, Michael Jackson, Robin C. Laney, Bashar Nuseibeh
Specifying features of an evolving software system. Softw. Pract. Exp. 39 (11) (2009)
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
Software engineering and formal methods. Commun. ACM 51 (9) (2008)
Jon G. Hall, Lucia Rapanotti, Michael Jackson
Problem Oriented Software Engineering: Solving the Package Router Control Problem. IEEE Trans. Software Eng. 34 (2) (2008)
Michael Jackson
Problem frames and software engineering. Expert Syst. J. Knowl. Eng. 25 (1) (2008)
Michael Jackson
Automated software engineering: supporting understanding. Autom. Softw. Eng. 15 (3-4) (2008)
Michael Jackson
Specialising in Software Engineering. APSEC (2007)
Robin C. Laney, Thein Than Tun, Michael Jackson, Bashar Nuseibeh
Composing Features by Managing Inconsistent Requirements. ICFI (2007)
Michael Jackson
Specialising in Software Engineering. SEFM (2007)
Jon G. Hall, Lucia Rapanotti, Michael Jackson
Problem Oriented Software Engineering: A design-theoretic framework for software engineering. SEFM (2007)
Michael Jackson
The Name and Nature of Software Engineering. Lipari Summer School (2007)
Michael Jackson
The Problem Frames Approach to Software Engineering. APSEC (2007)
Michael Jackson
Structural Relationships among Models. MMOSS (2006)
Michael Jackson
Testing the Machine in the World. Haifa Verification Conference (2006)
Michael Jackson
What Can We Expect from Program Verification? Computer 39 (10) (2006)
Daniel Jackson, Michael Jackson
Separating Concerns in Requirements Analysis: An Example. RODIN Book (2006)
Michael Jackson
Problem frames and software engineering. Inf. Softw. Technol. 47 (14) (2005)
Michael Jackson, Pamela Zave
Where do you go when you're through the turnstile? ICSE (2005)
Jon G. Hall, Lucia Rapanotti, Michael Jackson
Problem frame semantics for software development. Softw. Syst. Model. 4 (2) (2005)
Robin C. Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh
Composing Requirements Using Problem Frames. RE (2004)
Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh
Problem Frames: A Case for Coordination. COORDINATION (2004)
Michael Jackson
Seeing More of the World. IEEE Softw. 21 (6) (2004)
Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson
Using Abuse Frames to Bound the Scope of Security Problems. RE (2004)
Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh
Architecture-driven Problem Decomposition. RE (2004)
Michael Jackson
Problem Structure and Dependable Architecture. WADS (2004)
Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett
Introducing Abuse Frames for Analysing Security Requirements. RE (2003)
Michael Jackson
Why software writing is difficult and will remain so. Inf. Process. Lett. 88 (1-2) (2003)
Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti
Relating Software Requirements and Architectures Using Problem Frames. RE (2002)
Michael Jackson
Some Basic Tenets of Description. Softw. Syst. Model. 1 (1) (2002)
Michael Jackson
Formalism and Informality in Software Development. Soft-Ware (2002)
Michael Jackson
Descriptions in Software Development. UML (2002)
Michael Jackson
Where, Exactly, Is Software Development? 10th Anniversary Colloquium of UNU/IIST (2002)
Eric Cheung, Michael Jackson, Pamela Zave
Distributed media control tor multimedia communications services. ICC (2002)
Pamela Zave, Michael Jackson
A Call Abstraction for Component Coordination. Electron. Notes Theor. Comput. Sci. 66 (4) (2002)
Michael Jackson
Formalism and Informality in RE. RE (2001)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
A Reference Model for Requirements and Specifications. IEEE Softw. 17 (3) (2000)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE (2000)
Michael Jackson
Christopher Strachey: A Personal Recollection. High. Order Symb. Comput. 13 (1/2) (2000)
Michael Jackson, Frank S. Preston, Christopher Goulding
Anecdotes. IEEE Ann. Hist. Comput. 22 (2) (2000)
Pamela Zave, Michael Jackson
New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW (2000)
Michael Jackson
Specializing in Software Engineering. IEEE Softw. 16 (6) (1999)
Michael Jackson
The Role of Formalism in Method. World Congress on Formal Methods (1999)
Pamela Zave, Michael Jackson
A Component-Based Approach to Telecommunication Software. IEEE Softw. 15 (5) (1998)
Michael Jackson
Formal methods and traditional engineering. J. Syst. Softw. 40 (3) (1998)
Michael Jackson, Pamela Zave
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24 (10) (1998)
Michael Jackson
Defining a Discipline of Description. IEEE Softw. 15 (5) (1998)
Michael Jackson
Will There Ever Be Software Engineering? IEEE Softw. 15 (1) (1998)
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave
The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs (1998)
Pamela Zave, Michael Jackson
Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6 (1) (1997)
Pamela Zave, Michael Jackson
Requirements for Telecommunications Services: An Attack on Complexity. RE (1997)
Michael Jackson
A Missing Element in Software Engineering Education. CSEE&T (1997)
Michael Jackson
Problem complexity. ICECCS (1997)
Michael Jackson
The Meaning of Requirements. Ann. Softw. Eng. 3 (1997)
Pamela Zave, Michael Jackson
Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2 (2) (1997)
Pamela Zave, Michael Jackson
Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22 (7) (1996)
Daniel Jackson, Michael Jackson
Problem decomposition for reuse. Softw. Eng. J. 11 (1) (1996)
Michael Jackson
Problems, Methods, and Structures (Abstract). SIGSOFT FSE (1996)
Michael Jackson
Critical Reading For Software Developers. IEEE Softw. 12 (6) (1995)
Michael Jackson, Pamela Zave
Deriving Specifications from Requirements: An Example. ICSE (1995)
Michael Jackson
The World and the Machine. ICSE (1995)
Michael Jackson
Problems and requirements (software development). RE (1995)
Michael Jackson
Desert Island Column. Autom. Softw. Eng. 2 (4) (1995)
Michael Jackson
Problems, Descriptions and Objects. OOIS (1994)
M. Chandra Shekaran, David Garlan, Michael Jackson, Nancy R. Mead, Colin Potts, Howard B. Reubenstein
The role of software architecture in requirements engineering. ICRE (1994)
Michael Jackson
Problems, methods and specialisation. Softw. Eng. J. 9 (6) (1994)
Michael Jackson
Problems, Methods and Specialization. IEEE Softw. 11 (6) (1994)
Pamela Zave, Michael Jackson
Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2 (4) (1993)
Michael Jackson, Pamela Zave
Domain descriptions. RE (1993)
Michael Jackson
Description is our Business. VDM Europe (1) (1991)
Pamela Zave, Michael Jackson
Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop (1991)
Pamela Zave, Michael Jackson
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) (1991)
Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson, Bernard Lang
Computer Based Systems Engineering Workshop. CSEE (1991)
Michael Jackson
Software Development in the Year 2000. ICSE (1989)
Michael Jackson
Software Engineering for Business DP: Looking Back and Looking Forward. ICSE (1989)
Michael Jackson
Power and Limitations of Formal Methods for Software Fabrication. J. Inf. Technol. 2 (2) (1987)
Christopher J. Van Wyk, Michael Jackson, David W. Wall
Processing Transactions. Commun. ACM 30 (12) (1987)
Michael Jackson
Software Development as an Engineering Problem. Angew. Inform. 24 (2) (1982)
Michael Jackson
Information Systems: Modelling, Sequencing and Transformations. ICSE (1978)
Michael Jackson
Constructive Methods of Program Design. ECI (1976)