BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Japan
1 × The Netherlands
1 × United Kingdom
13 × USA
2 × Germany
Collaborated with:
P.Zave B.Nuseibeh J.G.Hall L.Rapanotti R.C.Laney H.Lowe L.Lin D.C.Ince L.Barroca C.A.Gunter E.L.Gunter T.T.Tun Y.Yu J.D.Moffett M.C.Shekaran D.Garlan N.R.Mead C.Potts H.B.Reubenstein J.Z.Lavi A.K.Agrawala R.J.A.Buhr K.Jackson B.Lang
Talks about:
softwar (10) problem (8) requir (8) engin (7) system (5) frame (5) descript (4) specif (4) use (4) architectur (3)

Person: Michael Jackson

DBLP DBLP: Jackson:Michael

Contributed to:

RE 20092009
SEFM 20072007
ICSE 20052005
RE 20042004
RE 20032003
RE 20022002
UML 20022002
RE 20012001
CADE 20002000
ICRE 20002000
World Congress on Formal Methods 19991999
CSEE&T 19971997
RE 19971997
FSE 19961996
ICSE 19951995
RE 19951995
ICRE 19941994
RE 19931993
SEI 19911991
ICSE 19891989
ICSE 19781978
VDM Europe (1) 19911991

Wrote 30 papers:

RE-2009-TunJLNY #problem #using
Are Your Lights Off? Using Problem Frames to Diagnose System Failures (TTT, MJ, RCL, BN, YY), pp. 343–348.
SEFM-2007-HallRJ #framework #problem #re-engineering
Problem Oriented Software Engineering: A design-theoretic framework for software engineering (JGH, LR, MJ), pp. 15–24.
SEFM-2007-Jackson #re-engineering
Specialising in Software Engineering (MJ), p. 3.
ICSE-2005-JacksonZ #question
Where do you go when you’re through the turnstile? (MJ, PZ), p. 44.
RE-2004-LaneyBJN #problem #requirements #using
Composing Requirements Using Problem Frames (RCL, LB, MJ, BN), pp. 122–131.
RE-2004-LinNIJ #bound #problem #security #using
Using Abuse Frames to Bound the Scope of Security Problems (LL, BN, DCI, MJ), pp. 354–355.
RE-2004-RapanottiHJN #architecture #composition #problem
Architecture-driven Problem Decomposition (LR, JGH, MJ, BN), pp. 80–89.
RE-2003-LinNIJM #requirements #security
Introducing Abuse Frames for Analysing Security Requirements (LL, BN, DCI, MJ, JDM), pp. 371–372.
RE-2002-HallJLNR #architecture #problem #requirements #using
Relating Software Requirements and Architectures Using Problem Frames (JGH, MJ, RCL, BN, LR), pp. 137–144.
UML-2002-Jackson #development
Descriptions in Software Development (MJ), p. 1.
RE-2001-Jackson
Formalism and Informality in RE (MJ), p. 269.
CADE-2000-JacksonL #interactive #proving
System Description: Interactive Proof Critics in XBarnacle (MJ, HL), pp. 502–506.
ICRE-2000-GunterGJZ #requirements
A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.
FM-v1-1999-Jackson
The Role of Formalism in Method (MJ), p. 56.
CSEET-1997-Jackson #education #re-engineering
A Missing Element in Software Engineering Education (MJ), pp. 2–3.
RE-1997-ZaveJ #complexity #requirements
Requirements for Telecommunications Services: An Attack on Complexity (PZ, MJ), pp. 106–117.
FSE-1996-Jackson #problem
Problems, Methods, and Structures (MJ), p. 1.
ICSE-1995-Jackson
The World and the Machine (MJ), pp. 283–292.
ICSE-1995-JacksonZ #requirements #specification
Deriving Specifications from Requirements: An Example (MJ, PZ), pp. 15–24.
RE-1995-Jackson #development #problem #requirements
Problems and requirements (software development) (MJ), pp. 2–9.
ICRE-1994-ShekaranGJMPR #architecture #requirements
The role of software architecture in requirements engineering (MCS, DG, MJ, NRM, CP, HBR), pp. 239–245.
RE-1993-JacksonZ
Domain descriptions (MJ, PZ), pp. 56–64.
SEI-1991-LaviABJJL
Computer Based Systems Engineering Workshop (JZL, AKA, RJAB, KJ, MJ, BL), pp. 149–163.
ICSE-1989-Jackson #re-engineering #roadmap
Software Engineering for Business DP: Looking Back and Looking Forward (MJ), p. 135.
ICSE-1989-Jackson2000 #development
Software Development in the Year 2000 (MJ), p. 257.
ICSE-1978-Jackson #information management #modelling
Information Systems: Modelling, Sequencing and Transformations (MJ), pp. 72–81.
VDME-1991-Jackson
Description is our Business (MJ), pp. 1–8.
VDME-1991-ZaveJ #specification
Techniques for Partial Specification and Specification of Switching Systems (PZ, MJ), pp. 511–525.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.