Michael Jackson

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