Michael Jackson

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

other persons with the same name:

Michael Jackson 0002

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j33		Michael Jackson: Aspects of abstraction in software development. Software and System Modeling 11(4): 495-511 (2012)
	2011
c49		Michael Jackson: A Tolerant Approach to Faults. Dependable and Historic Computing 2011: 273-282
	2010
c48		Michael Jackson: Engineering and Software Engineering. The Future of Software Engineering 2010: 100-114
	2009
j32		Thein Than Tun, Tim Trew, Michael Jackson, Robin C. Laney, Bashar Nuseibeh: Specifying features of an evolving software system. Softw., Pract. Exper. 39(11): 973-1002 (2009)
c47		Michael Jackson: Some Notes on Models and Modelling. Conceptual Modeling: Foundations and Applications 2009: 68-81
c46		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
	2008
j31		Michael Jackson: Automated software engineering: supporting understanding. Autom. Softw. Eng. 15(3-4): 275-281 (2008)
j30		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)
j29		Michael Jackson: Problem frames and software engineering. Expert Systems 25(1): 7-8 (2008)
j28		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)
	2007
c45		Michael Jackson: Specialising in Software Engineering. APSEC 2007: 3-10
c44		Michael Jackson: The Problem Frames Approach to Software Engineering. APSEC 2007: 14
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
j27		Michael Jackson: What Can We Expect from Program Verification? IEEE Computer 39(10): 65-71 (2006)
c39		Michael Jackson: Structural Relationships among Models. MMOSS 2006
c38		Michael Jackson: Testing the Machine in the World. Haifa Verification Conference 2006: 198-203
c37		Daniel Jackson, Michael Jackson: Separating Concerns in Requirements Analysis: An Example. RODIN Book 2006: 210-225
	2005
j26		Michael Jackson: Problem frames and software engineering. Information & Software Technology 47(14): 903-912 (2005)
j25		Jon G. Hall, Lucia Rapanotti, Michael Jackson: Problem frame semantics for software development. Software and System Modeling 4(2): 189-198 (2005)
c36		Michael Jackson, Pamela Zave: Where do you go when you're through the turnstile? ICSE 2005: 44
	2004
j24		Michael Jackson: Seeing More of the World. IEEE Software 21(6): 83-85 (2004)
c35		Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh: Problem Frames: A Case for Coordination. COORDINATION 2004: 5-19
c34		Michael Jackson: Problem Structure and Dependable Architecture. WADS 2004: 322-330
c33		Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh: Architecture-driven Problem Decomposition. RE 2004: 80-89
c32		Robin C. Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh: Composing Requirements Using Problem Frames. RE 2004: 122-131
c31		Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson: Using Abuse Frames to Bound the Scope of Security Problems. RE 2004: 354-355
	2003
j23		Michael Jackson: Why software writing is difficult and will remain so. Inf. Process. Lett. 88(1-2): 13-25 (2003)
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
j22		Pamela Zave, Michael Jackson: A Call Abstraction for Component Coordination. Electr. Notes Theor. Comput. Sci. 66(4): 36-55 (2002)
j21		Michael Jackson: Some Basic Tenets of Description. Software and System Modeling 1(1): 5-9 (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		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-
	2001
c23		Michael Jackson: Formalism and Informality in RE. RE 2001: 269
	2000
j20		Michael Jackson: Christopher Strachey: A Personal Recollection. Higher-Order and Symbolic Computation 13(1/2): 73-74 (2000)
j19		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)
c22		Kevin D. Reilly, Norman W. Bray, Michael Jackson: Approaches to Cognitive System Simulation: Architectures and Animations. Annual Simulation Symposium 2000: 198-
c21		Michael Jackson, Helen Lowe: System Description: Interactive Proof Critics in XBarnacle. CADE 2000: 502-506
c20		Raul Camposano, Jacob Greidinger, Patrick Groeneveld, Michael Jackson, Lawrence T. Pileggi, Louis Scheffer: Design closure (panel session): hope or hype? DAC 2000: 176-177
c19		Pamela Zave, Michael Jackson: New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW 2000: 51-66
c18		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
	1999
j18		Andrew Ireland, Michael Jackson, Gordon Reid: Interactive Proof Critics. Formal Asp. Comput. 11(3): 302-325 (1999)
j17		Michael Jackson: Specializing in Software Engineering. IEEE Software 16(6): 119-121 (1999)
c17		Michael Jackson: The Role of Formalism in Method. World Congress on Formal Methods 1999: 56
	1998
j16		Michael Jackson: Formal methods and traditional engineering. Journal of Systems and Software 40(3): 191-194 (1998)
j15		Michael Jackson: Will There Ever Be Software Engineering? IEEE Software 15(1): 36-39 (1998)
j14		Michael Jackson: Defining a Discipline of Description. IEEE Software 15(5): 14-17 (1998)
j13		Pamela Zave, Michael Jackson: A Component-Based Approach to Telecommunication Software. IEEE Software 15(5): 70-78 (1998)
j12		Michael Jackson, Pamela Zave: Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24(10): 831-847 (1998)
c16		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
j11		Michael Jackson: The Meaning of Requirements. Ann. Software Eng. 3: 5-21 (1997)
j10		Pamela Zave, Michael Jackson: Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2(2): 92-101 (1997)
j9		Pamela Zave, Michael Jackson: Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997)
c15		Michael Jackson: Problem complexity. ICECCS 1997: 239-
c14		Pamela Zave, Michael Jackson: Requirements for Telecommunications Services: An Attack on Complexity. RE 1997: 106-117
	1996
j8		Pamela Zave, Michael Jackson: Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22(7): 508-528 (1996)
c13		Michael Jackson: Problems, Methods, and Structures (Abstract). SIGSOFT FSE 1996: 1
	1995
j7		Michael Jackson: Desert Island Column. Autom. Softw. Eng. 2(4): 353-355 (1995)
j6		Michael Jackson: Critical Reading For Software Developers. IEEE Software 12(6): 103-104 (1995)
c12		Michael Jackson, Pamela Zave: Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24
c11		Michael Jackson: The World and the Machine. ICSE 1995: 283-292
c10		Michael Jackson: Problems and requirements (software development). RE 1995: 2-9
	1994
j5		Michael Jackson: Problems, Methods and Specialization. IEEE Software 11(6): 57-62 (1994)
c9		Michael Jackson: Problems, Descriptions and Objects. OOIS 1994: 25-35
	1993
j4		David E. Avison, Guy Fitzgerald, Colin Eden, Michael Jackson, Jonathan Rosenhead, Rolfe Tomlinson: Editorial. Inf. Syst. J. 3(1): 1-2 (1993)
j3		Pamela Zave, Michael Jackson: Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993)
	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
	1987
j2		Christopher J. Van Wyk, Michael Jackson, David W. Wall: Processing Transactions. Commun. ACM 30(12): 1000-1010 (1987)
	1982
j1		Michael Jackson: Software Development as an Engineering Problem. Angewandte Informatik 24(2): 96-103 (1982)
	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

Coauthor Index

1	Ashok K. Agrawala	[c8]
2	David E. Avison	[j4]
3	Leonor Barroca	[c35] [c32]
4	Karthikeyan Bhargavan	[c16]
5	Jonathan P. Bowen	[j30]
6	Norman W. Bray	[c22]
7	Raymond J. A. Buhr	[c8]
8	Raul Camposano	[c20]
9	Eric Cheung	[c29]
10	Byron Cook	[j30]
11	Patrick Cousot	[j30]
12	Colin Eden	[j4]
13	José Luiz Fiadeiro	[c35]
14	Guy Fitzgerald	[j4]
15	Jacob Greidinger	[c20]
16	Patrick Groeneveld	[c20]
17	Carl A. Gunter	[j19] [c18] [c16]
18	Elsa L. Gunter	[j19] [c18] [c16]
19	Jon G. Hall	[j28] [c40] [j25] [c33] [c28]
20	Michael G. Hinchey (Mike Hinchey)	[j30]
21	Darrel C. Ince	[c31] [c30]
22	Andrew Ireland	[j18]
23	Daniel Jackson	[c37]
24	Ken Jackson	[c8]
25	Babak Khazaei	[c24]
26	Robin C. Laney	[j32] [c46] [c43] [c35] [c32] [c28]
27	Bernard Lang	[c8]
28	Jonah Z. Lavi	[c8]
29	Luncheng Lin	[c31] [c30]
30	Helen Lowe	[c21]
31	Tiziana Margaria (Tiziana Margaria-Steffen)	[j30]
32	Jonathan D. Moffett	[c30]
33	Bashar Nuseibeh	[j32] [c46] [c43] [c35] [c33] [c32] [c31] [c30] [c28]
34	Davor Obradovic	[c16]
35	Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage)	[c20]
36	Lucia Rapanotti	[j28] [c40] [j25] [c33] [c28]
37	Gordon Reid	[j18]
38	Kevin D. Reilly	[c22]
39	Jonathan Rosenhead	[j4]
40	Louis Scheffer	[c20]
41	Rolfe Tomlinson	[j4]
42	Tim Trew	[j32]
43	Thein Than Tun	[j32] [c46] [c43]
44	David W. Wall	[j2]
45	Christopher J. Van Wyk	[j2]
46	Yijun Yu	[c46]
47	Pamela Zave	[c36] [j22] [c29] [j19] [c19] [c18] [j13] [j12] [c16] [j10] [j9] [c14] [j8] [c12] [j3] [c6] [c5]

Colors in the list of coauthors

Last update Sat May 25 12:31:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page