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 × Denmark
1 × Finland
1 × France
1 × Spain
2 × Germany
3 × USA
Collaborated with:
T.Lin S.Hutchesson A.W.Brown J.M.Atlee S.Liu W.Lam A.Vickers R.F.Paige H.Chivers Z.R.Stephenson N.Tracey J.A.Clark K.Mander D.A.Duffy C.MacNish P.Morris A.D.Hutcheon D.T.Jordan R.H.Pierce I.C.Wand B.J.Jepson P.Loucopoulos C.Potts S.J.Mellor Luqi L.Zucconi
Talks about:
requir (4) softwar (3) analysi (3) integr (3) high (3) framework (2) program (2) toward (2) orient (2) object (2)

Person: John A. McDermid

DBLP DBLP: McDermid:John_A=

Facilitated 1 volumes:

ESEC 1989Ed

Contributed to:

SPLC 20112011
ECSA 20072007
SAC 20052005
Ada-Europe 20032003
Ada-Europe 20002000
ASE 19981998
RE 19971997
CAiSE 19951995
RE 19951995
Ada-Europe 19941994
RE 19931993
SAC 19931993

Wrote 12 papers:

SPLC-2011-HutchessonM #effectiveness #product line #towards
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations (SH, JAM), pp. 55–64.
ECSA-2007-BrownM #architecture
The Art and Science of Software Architecture (AWB, JAM), pp. 237–256.
SAC-2005-PaigeCMS #programming
High-integrity extreme programming (RFP, HC, JAM, ZRS), pp. 1518–1523.
AdaEurope-2003-LinM #behaviour #object-oriented #programming #type system
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 (TML, JAM), pp. 309–321.
AdaEurope-2000-LinM #morphism #polymorphism
(True) Polymorphism in SPARK2000 (TML, JAM), pp. 252–265.
ASE-1998-TraceyCMM #automation #framework #generative #testing
An Automated Framework for Structural Test-Data Generation (NT, JAC, KM, JAM), pp. 285–288.
RE-1997-LeiteRBMKHO #requirements #reuse #towards
Ten Steps Towards Systematic Requirements Reuse (WL, JAM, AV), pp. 6–15.
CAiSE-1995-DuffyMMM #analysis #automation #framework #reasoning #requirements #using
A Framework for Requirements Analysis Using Automated Reasoning (DAD, CM, JAM, PM), pp. 68–81.
RE-1995-AtleeM #analysis #requirements #safety
Integrating requirements analysis and safety analysis (JMA, JAM), pp. 158–159.
AdaEurope-1994-HutcheonJMPWJ #ada #tool support
Tool Support for High Integrity Ada Software (ADH, DTJ, JAM, RHP, ICW, BJJ), pp. 63–75.
RE-1993-LoucopoulosPMMLZ #object-oriented #requirements
I never knew my requirements were object-oriented until I talked to my analyst (PL, CP, SJM, JAM, L, LZ), pp. 226–230.
SAC-1993-LiuM #set
Dynamic Sets and Their Application in VDM (SL, JAM), pp. 187–192.

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.