| 2007 |
|---|
| 70 | EE | Michael Jackson:
The Problem Frames Approach to Software Engineering.
APSEC 2007: 14 |
| 69 | EE | Michael Jackson:
Specialising in Software Engineering.
APSEC 2007: 3-10 |
| 68 | | Robin C. Laney,
Thein Than Tun,
Michael Jackson,
Bashar Nuseibeh:
Composing Features by Managing Inconsistent Requirements.
ICFI 2007: 129-144 |
| 67 | EE | Jon G. Hall,
Lucia Rapanotti,
Michael Jackson:
Problem Oriented Software Engineering: A design-theoretic framework for software engineering.
SEFM 2007: 15-24 |
| 66 | EE | Michael Jackson:
Specialising in Software Engineering.
SEFM 2007: 3 |
| 2006 |
|---|
| 65 | EE | Michael Jackson:
Testing the Machine in the World.
Haifa Verification Conference 2006: 198-203 |
| 64 | EE | Michael Jackson:
Structural Relationships among Models.
MMOSS 2006 |
| 63 | EE | Daniel Jackson,
Michael Jackson:
Separating Concerns in Requirements Analysis: An Example.
RODIN Book 2006: 210-225 |
| 62 | EE | Michael Jackson:
What Can We Expect from Program Verification?
IEEE Computer 39(10): 65-71 (2006) |
| 2005 |
|---|
| 61 | EE | Michael Jackson,
Pamela Zave:
Where do you go when you're through the turnstile?
ICSE 2005: 44 |
| 60 | EE | Michael Jackson:
Problem frames and software engineering.
Information & Software Technology 47(14): 903-912 (2005) |
| 59 | EE | Jon G. Hall,
Lucia Rapanotti,
Michael Jackson:
Problem frame semantics for software development.
Software and System Modeling 4(2): 189-198 (2005) |
| 2004 |
|---|
| 58 | EE | Leonor Barroca,
José Luiz Fiadeiro,
Michael Jackson,
Robin C. Laney,
Bashar Nuseibeh:
Problem Frames: A Case for Coordination.
COORDINATION 2004: 5-19 |
| 57 | EE | Robin C. Laney,
Leonor Barroca,
Michael Jackson,
Bashar Nuseibeh:
Composing Requirements Using Problem Frames.
RE 2004: 122-131 |
| 56 | EE | Luncheng Lin,
Bashar Nuseibeh,
Darrel C. Ince,
Michael Jackson:
Using Abuse Frames to Bound the Scope of Security Problems.
RE 2004: 354-355 |
| 55 | EE | Lucia Rapanotti,
Jon G. Hall,
Michael Jackson,
Bashar Nuseibeh:
Architecture-driven Problem Decomposition.
RE 2004: 80-89 |
| 54 | EE | Michael Jackson:
Problem Structure and Dependable Architecture.
WADS 2004: 322-330 |
| 53 | EE | Michael Jackson:
Seeing More of the World.
IEEE Software 21(6): 83-85 (2004) |
| 2003 |
|---|
| 52 | EE | Luncheng Lin,
Bashar Nuseibeh,
Darrel C. Ince,
Michael Jackson,
Jonathan D. Moffett:
Introducing Abuse Frames for Analysing Security Requirements.
RE 2003: 371-372 |
| 51 | EE | Michael Jackson:
Why software writing is difficult and will remain so.
Inf. Process. Lett. 88(1-2): 13-25 (2003) |
| 2002 |
|---|
| 50 | EE | Michael Jackson:
Where, Exactly, Is Software Development?
10th Anniversary Colloquium of UNU/IIST 2002: 115-131 |
| 49 | EE | Babak Khazaei,
Michael Jackson:
Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Driven and Object-Oriented Styles?
HCC 2002: 19- |
| 48 | EE | Babak Khazaei,
Michael Jackson:
Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Driven and Object-Oriented Styles?
IEEE Symposia on Human Centric Computing Languages and Environments 2002: 19- |
| 47 | EE | Jon G. Hall,
Michael Jackson,
Robin C. Laney,
Bashar Nuseibeh,
Lucia Rapanotti:
Relating Software Requirements and Architectures Using Problem Frames.
RE 2002: 137-144 |
| 46 | EE | Michael Jackson:
Formalism and Informality in Software Development.
Soft-Ware 2002: 356 |
| 45 | EE | Michael Jackson:
Descriptions in Software Development.
UML 2002: 1 |
| 44 | EE | Pamela Zave,
Michael Jackson:
A Call Abstraction for Component Coordination.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 43 | EE | Michael Jackson:
Some Basic Tenets of Description.
Software and System Modeling 1(1): 5-9 (2002) |
| 2001 |
|---|
| 42 | EE | Michael Jackson:
Formalism and Informality in RE.
RE 2001: 269 |
| 2000 |
|---|
| 41 | EE | Kevin D. Reilly,
Norman W. Bray,
Michael Jackson:
Approaches to Cognitive System Simulation: Architectures and Animations.
Annual Simulation Symposium 2000: 198- |
| 40 | | Michael Jackson,
Helen Lowe:
System Description: Interactive Proof Critics in XBarnacle.
CADE 2000: 502-506 |
| 39 | EE | Raul Camposano,
Jacob Greidinger,
Patrick Groeneveld,
Michael Jackson,
Lawrence T. Pileggi,
Louis Scheffer:
Design closure (panel session): hope or hype?
DAC 2000: 176-177 |
| 38 | | Pamela Zave,
Michael Jackson:
New Feature Interactions in Mobile and Multimedia Telecommunications Services.
FIW 2000: 51-66 |
| 37 | EE | Carl A. Gunter,
Elsa L. Gunter,
Michael Jackson,
Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract.
ICRE 2000: 189 |
| 36 | | Michael Jackson:
Christopher Strachey: A Personal Recollection.
Higher-Order and Symbolic Computation 13(1/2): 73-74 (2000) |
| 35 | EE | Carl A. Gunter,
Elsa L. Gunter,
Michael Jackson,
Pamela Zave:
A Reference Model for Requirements and Specifications.
IEEE Software 17(3): (2000) |
| 1999 |
|---|
| 34 | EE | Michael Jackson:
The Role of Formalism in Method.
World Congress on Formal Methods 1999: 56 |
| 33 | EE | Andrew Ireland,
Michael Jackson,
Gordon Reid:
Interactive Proof Critics.
Formal Asp. Comput. 11(3): 302-325 (1999) |
| 32 | EE | Michael Jackson:
Specializing in Software Engineering.
IEEE Software 16(6): 119-121 (1999) |
| 1998 |
|---|
| 31 | | 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 |
| 30 | | Michael Jackson:
Will There Ever Be Software Engineering?
IEEE Software 15(1): 36-39 (1998) |
| 29 | EE | Michael Jackson:
Defining a Discipline of Description.
IEEE Software 15(5): 14-17 (1998) |
| 28 | EE | Pamela Zave,
Michael Jackson:
A Component-Based Approach to Telecommunication Software.
IEEE Software 15(5): 70-78 (1998) |
| 27 | EE | Michael Jackson,
Pamela Zave:
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services.
IEEE Trans. Software Eng. 24(10): 831-847 (1998) |
| 26 | EE | Michael Jackson:
Formal methods and traditional engineering.
Journal of Systems and Software 40(3): 191-194 (1998) |
| 1997 |
|---|
| 25 | EE | Michael Jackson:
Problem complexity.
ICECCS 1997: 239- |
| 24 | EE | Pamela Zave,
Michael Jackson:
Requirements for Telecommunications Services: An Attack on Complexity.
RE 1997: 106-117 |
| 23 | EE | Pamela Zave,
Michael Jackson:
Four Dark Corners of Requirements Engineering.
ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997) |
| 22 | | Michael Jackson:
The Meaning of Requirements.
Ann. Software Eng. 3: 5-21 (1997) |
| 21 | | Pamela Zave,
Michael Jackson:
Telecommunications Service Requirements: Principles for Managing Complexity.
Requir. Eng. 2(2): 92-101 (1997) |
| 1996 |
|---|
| 20 | EE | Michael Jackson:
Problems, Methods, and Structures (Abstract).
SIGSOFT FSE 1996: 1 |
| 19 | EE | Pamela Zave,
Michael Jackson:
Where Do Operations Come From: A Multiparadigm Specification Technique.
IEEE Trans. Software Eng. 22(7): 508-528 (1996) |
| 1995 |
|---|
| 18 | EE | Michael Jackson,
Pamela Zave:
Deriving Specifications from Requirements: An Example.
ICSE 1995: 15-24 |
| 17 | EE | Michael Jackson:
The World and the Machine.
ICSE 1995: 283-292 |
| 16 | EE | Michael Jackson:
Problems and requirements (software development).
RE 1995: 2-9 |
| 15 | | Michael Jackson:
Desert Island Column.
Autom. Softw. Eng. 2(4): 353-355 (1995) |
| 14 | EE | Michael Jackson:
Critical Reading For Software Developers.
IEEE Software 12(6): 103-104 (1995) |
| 1994 |
|---|
| 13 | | Michael Jackson:
Problems, Descriptions and Objects.
OOIS 1994: 25-35 |
| 12 | EE | Michael Jackson:
Problems, Methods and Specialization.
IEEE Software 11(6): 57-62 (1994) |
| 1993 |
|---|
| 11 | EE | Pamela Zave,
Michael Jackson:
Conjunction as Composition.
ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993) |
| 1991 |
|---|
| 10 | | 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 |
| 9 | | Michael Jackson:
Description is our Business.
VDM Europe (1) 1991: 1-8 |
| 8 | | Pamela Zave,
Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems.
VDM Europe (1) 1991: 511-525 |
| 7 | | Pamela Zave,
Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems.
Z User Workshop 1991: 205-219 |
| 1989 |
|---|
| 6 | | Michael Jackson:
Software Engineering for Business DP: Looking Back and Looking Forward.
ICSE 1989: 135 |
| 5 | | Michael Jackson:
Software Development in the Year 2000.
ICSE 1989: 257 |
| 1987 |
|---|
| 4 | | Christopher J. Van Wyk,
Michael Jackson,
David W. Wall:
Processing Transactions.
Commun. ACM 30(12): 1000-1010 (1987) |
| 1982 |
|---|
| 3 | | Michael Jackson:
Software Development as an Engineering Problem.
Angewandte Informatik 24(2): 96-103 (1982) |
| 1978 |
|---|
| 2 | | Michael Jackson:
Information Systems: Modelling, Sequencing and Transformations.
ICSE 1978: 72-81 |
| 1976 |
|---|
| 1 | | Michael Jackson:
Constructive Methods of Program Design.
ECI 1976: 236-262 |
