Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Jackson 0001
Person information
- affiliation: Open University, Milton Keynes, UK
Other persons with the same name
- Michael Jackson — disambiguation page
- Michael Jackson 0002 (aka: Mike Jackson 0002) — National Research Council Canada, Institute for Biodiagnostics, Winnipeg, Canada (and 1 more)
- Michael Jackson 0003 — Newcastle University, School of Computing Science, Newcastle upon Tyne, UK
- Michael Jackson 0004 — Synopsys Inc., Mountain View, CA, USA (and 1 more)
- Mike Jackson 0004
![[0000-0002-6858-4247]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-6858-4247")
(aka: Mike J. Jackson, Michael Jackson 0005) — University of Nottingham, UK - Mike R. Jackson (aka: Michael Jackson 0006) — Loughborough University, UK
- Mike C. Jackson (aka: Michael Jackson 0007) — Hull University, Business School, UK
- Michael A. Jackson — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2000
[b2]Michael A. Jackson:
Problem Frames - Analysing and Structuring Software Development Problems. Pearson Education 2000, ISBN 978-0-2015-9627-4, pp. I-XIX, 1-390- 1995
- [b1]Michael A. Jackson:
Software requirements and specifications - a lexicon of practice, principles and prejudices. Addison-Wesley 1995, ISBN 978-0-201-87712-0, pp. I-XVI, 1-228
Journal Articles
- 2014
- [j35]Michael Jackson:
Topsy-turvy requirements. Requir. Eng. 19(1): 107-111 (2014) - 2012
- [j34]Michael Jackson:
Aspects of abstraction in software development. Softw. Syst. Model. 11(4): 495-511 (2012) - 2009
- [j33]Thein Than Tun, Tim Trew, Michael Jackson, Robin C. Laney, Bashar Nuseibeh:
Specifying features of an evolving software system. Softw. Pract. Exp. 39(11): 973-1002 (2009) - 2008
- [j32]Michael Jackson:
Automated software engineering: supporting understanding. Autom. Softw. Eng. 15(3-4): 275-281 (2008) - [j31]Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria:
Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) - [j30]Michael Jackson:
Problem frames and software engineering. Expert Syst. J. Knowl. Eng. 25(1): 7-8 (2008) - [j29]Jon G. Hall, Lucia Rapanotti, Michael Jackson:
Problem Oriented Software Engineering: Solving the Package Router Control Problem. IEEE Trans. Software Eng. 34(2): 226-241 (2008) - 2006
- [j28]Michael Jackson:
What Can We Expect from Program Verification? Computer 39(10): 65-71 (2006) - 2005
- [j27]Michael Jackson:
Problem frames and software engineering. Inf. Softw. Technol. 47(14): 903-912 (2005) - [j26]Jon G. Hall, Lucia Rapanotti, Michael Jackson:
Problem frame semantics for software development. Softw. Syst. Model. 4(2): 189-198 (2005) - 2004
- [j25]Michael Jackson:
Seeing More of the World. IEEE Softw. 21(6): 83-85 (2004) - 2003
- [j24]Michael Jackson:
Why software writing is difficult and will remain so. Inf. Process. Lett. 88(1-2): 13-25 (2003) - 2002
- [j23]Michael Jackson:
Some Basic Tenets of Description. Softw. Syst. Model. 1(1): 5-9 (2002) - 2000
- [j22]Michael Jackson, Frank S. Preston, Christopher Goulding:
Anecdotes. IEEE Ann. Hist. Comput. 22(2): 61-66 (2000) - [j21]Michael Jackson:
Christopher Strachey: A Personal Recollection. High. Order Symb. Comput. 13(1/2): 73-74 (2000) - [j20]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications. IEEE Softw. 17(3): 37-43 (2000) - 1999
- [j19]Michael Jackson:
Specializing in Software Engineering. IEEE Softw. 16(6): 119-121 (1999) - 1998
- [j18]Michael Jackson:
Formal methods and traditional engineering. J. Syst. Softw. 40(3): 191-194 (1998) - [j17]Michael Jackson:
Will There Ever Be Software Engineering? IEEE Softw. 15(1): 36-39 (1998) - [j16]Michael Jackson:
Defining a Discipline of Description. IEEE Softw. 15(5): 14-17 (1998) - [j15]Pamela Zave, Michael Jackson:
A Component-Based Approach to Telecommunication Software. IEEE Softw. 15(5): 70-78 (1998) - [j14]Michael Jackson, Pamela Zave:
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24(10): 831-847 (1998) - 1997
- [j13]Michael Jackson:
The Meaning of Requirements. Ann. Softw. Eng. 3: 5-21 (1997) - [j12]Pamela Zave, Michael Jackson:
Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2(2): 92-101 (1997) - [j11]Pamela Zave, Michael Jackson:
Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997) - 1996
- [j10]Daniel Jackson, Michael Jackson:
Problem decomposition for reuse. Softw. Eng. J. 11(1): 19-30 (1996) - [j9]Pamela Zave, Michael Jackson:
Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22(7): 508-528 (1996) - 1995
- [j8]Michael Jackson:
Desert Island Column. Autom. Softw. Eng. 2(4): 353-355 (1995) - [j7]Michael Jackson:
Critical Reading For Software Developers. IEEE Softw. 12(6): 103-104 (1995) - 1994
- [j6]Michael Jackson:
Problems, methods and specialisation. Softw. Eng. J. 9(6): 249-255 (1994) - [j5]Michael Jackson:
Problems, Methods and Specialization. IEEE Softw. 11(6): 57-62 (1994) - 1993
- [j4]Pamela Zave, Michael Jackson:
Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993) - 1987
- [j3]Christopher J. Van Wyk, Michael Jackson, David W. Wall:
Processing Transactions. Commun. ACM 30(12): 1000-1010 (1987) - [j2]Michael Jackson:
Power and Limitations of Formal Methods for Software Fabrication. J. Inf. Technol. 2(2): 72-76 (1987) - 1982
- [j1]Michael Jackson:
Software Development as an Engineering Problem. Angew. Inform. 24(2): 96-103 (1982)
Conference and Workshop Papers
- 2017
- [c56]Michael Anthony Jackson:
The Right-Hand Side Problem: Research Topics in RE. RE 2017: 474-475 - 2015
- [c55]Michael Jackson:
Requirements, behaviours, and software engineering (keynote). RE 2015: 4-5 - 2014
- [c54]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: 37-42 - [c53]Michael Jackson:
Behaviours as Design Components of Cyber-Physical Systems. LASER Summer School 2014: 43-62 - 2012
- [c52]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: 1-6 - [c51]Michael Jackson:
Formalisms and structures. FormSERA@ICSE 2012: 1 - 2011
- [c50]Michael Jackson:
A Tolerant Approach to Faults. Dependable and Historic Computing 2011: 273-282 - 2010
- [c49]Michael Jackson:
Engineering and Software Engineering. The Future of Software Engineering 2010: 100-114 - 2009
- [c48]Michael Jackson:
Some Notes on Models and Modelling. Conceptual Modeling: Foundations and Applications 2009: 68-81 - [c47]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: 343-348 - 2007
- [c46]Michael Jackson:
Specialising in Software Engineering. APSEC 2007: 3-10 - [c45]Michael Jackson:
The Problem Frames Approach to Software Engineering. APSEC 2007: 14 - [c44]Cliff B. Jones, Ian J. Hayes, Michael A. Jackson:
Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390 - [c43]Robin C. Laney, Thein Than Tun, Michael Jackson, Bashar Nuseibeh:
Composing Features by Managing Inconsistent Requirements. ICFI 2007: 129-144 - [c42]Michael Jackson:
The Name and Nature of Software Engineering. Lipari Summer School 2007: 1-38 - [c41]Michael Jackson:
Specialising in Software Engineering. SEFM 2007: 3 - [c40]Jon G. Hall, Lucia Rapanotti, Michael Jackson:
Problem Oriented Software Engineering: A design-theoretic framework for software engineering. SEFM 2007: 15-24 - 2006
- [c39]Michael Jackson:
Testing the Machine in the World. Haifa Verification Conference 2006: 198-203 - [c38]Daniel Jackson, Michael Jackson:
Separating Concerns in Requirements Analysis: An Example. RODIN Book 2006: 210-225 - 2005
- [c37]Michael Jackson, Pamela Zave:
Where do you go when you're through the turnstile? ICSE 2005: 44 - 2004
- [c36]Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh:
Problem Frames: A Case for Coordination. COORDINATION 2004: 5-19 - [c35]Michael Jackson:
Problem Structure and Dependable Architecture. WADS 2004: 322-330 - [c34]Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh:
Architecture-driven Problem Decomposition. RE 2004: 80-89 - [c33]Robin C. Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh:
Composing Requirements Using Problem Frames. RE 2004: 122-131 - [c32]Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson:
Using Abuse Frames to Bound the Scope of Security Problems. RE 2004: 354-355 - 2003
- [c31]Ian J. Hayes, Michael A. Jackson, Cliff B. Jones:
Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169 - [c30]Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett:
Introducing Abuse Frames for Analysing Security Requirements. RE 2003: 371-372 - 2002
- [c29]Eric Cheung, Michael Jackson, Pamela Zave:
Distributed media control tor multimedia communications services. ICC 2002: 2454-2458 - [c28]Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti:
Relating Software Requirements and Architectures Using Problem Frames. RE 2002: 137-144 - [c27]Michael Jackson:
Formalism and Informality in Software Development. Soft-Ware 2002: 356 - [c26]Michael Jackson:
Descriptions in Software Development. UML 2002: 1 - [c25]Michael Jackson:
Where, Exactly, Is Software Development? 10th Anniversary Colloquium of UNU/IIST 2002: 115-131 - [c24]Pamela Zave, Michael Jackson:
A Call Abstraction for Component Coordination. Formal Methods and Component Interaction @ ICALP 2002: 36-55 - 2001
- [c23]Michael Jackson:
Formalism and Informality in RE. RE 2001: 269 - 2000
- [c22]Pamela Zave, Michael Jackson:
New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW 2000: 51-66 - [c21]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189 - 1999
- [c20]Michael Jackson:
The Role of Formalism in Method. World Congress on Formal Methods 1999: 56 - 1998
- [c19]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: 49-66 - 1997
- [c18]Michael Jackson:
A Missing Element in Software Engineering Education. CSEE&T 1997: 2-3 - [c17]Michael Jackson:
Problem complexity. ICECCS 1997: 239- - [c16]Pamela Zave, Michael Jackson:
Requirements for Telecommunications Services: An Attack on Complexity. RE 1997: 106-117 - 1996
- [c15]Michael Jackson:
Problems, Methods, and Structures (Abstract). SIGSOFT FSE 1996: 1 - 1995
- [c14]Michael Jackson, Pamela Zave:
Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24 - [c13]Michael Jackson:
The World and the Machine. ICSE 1995: 283-292 - [c12]Michael Jackson:
Problems and requirements (software development). RE 1995: 2-9 - 1994
- [c11]Michael Jackson:
Problems, Descriptions and Objects. OOIS 1994: 25-35 - [c10]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: 239-245 - 1993
- [c9]Michael Jackson, Pamela Zave:
Domain descriptions. RE 1993: 56-64 - 1991
- [c8]Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson, Bernard Lang:
Computer Based Systems Engineering Workshop. CSEE 1991: 149-163 - [c7]Michael Jackson:
Description is our Business. VDM Europe (1) 1991: 1-8 - [c6]Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) 1991: 511-525 - [c5]Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop 1991: 205-219 - 1989
- [c4]Michael Jackson:
Software Engineering for Business DP: Looking Back and Looking Forward. ICSE 1989: 135 - [c3]Michael Jackson:
Software Development in the Year 2000. ICSE 1989: 257 - 1978
- [c2]Michael Jackson:
Information Systems: Modelling, Sequencing and Transformations. ICSE 1978: 72-81 - 1976
- [c1]Michael Jackson:
Constructive Methods of Program Design. ECI 1976: 236-262
Parts in Books or Collections
- 2017
- [p8]Michael Jackson:
Engineering by Software: System Behaviours as Components. Present and Ulterior Software Engineering 2017: 1-17 - 2015
- [p7]Michael Jackson:
System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems. Dependable Software Systems Engineering 2015: 79-104 - 2013
- [p6]Thein Than Tun, Yijun Yu, Michael Jackson, Robin C. Laney, Bashar Nuseibeh:
Aspect Interactions: A Requirements Engineering Perspective. Aspect-Oriented Requirements Engineering 2013: 271-286 - 2012
- [p5]Michael Jackson:
Simplicity and Complexity in Programs and Systems. Conquering Complexity 2012: 49-72 - 2010
- [p4]Michael Jackson:
The Operational Principle and Problem Frames. Reflections on the Work of C. A. R. Hoare 2010: 143-165 - 2002
- [p3]Michael A. Jackson:
JSP in Perspective. Software Pioneers 2002: 480-493 - [p2]Michael A. Jackson:
Constructive Methods Of Program Design (Reprint). Software Pioneers 2002: 495-519 - 1993
- [p1]Pamela Zave, Michael Jackson:
Composition of Descriptions : A Progress Report. Formal Methods in Systems Engineering 1993: 41-50
Informal and Other Publications
- 2006
- [i1]Michael Jackson:
Structural Relationships among Models. MMOSS 2006
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-30 00:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
