BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Italy
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
J.Loubersac A.Faivre J.Bicarregui E.Woods J.Hoare D.Neilson I.H.Sørensen G.Fanmuy F.Populus J.Rene S.Brinkkemper M.Weber P.Baron
Talks about:
visual (2) specif (2) requir (2) method (2) formal (2) vdm (2) all (2) technolog (1) structur (1) industri (1)

Person: Jeremy Dick

DBLP DBLP: Dick:Jeremy

Contributed to:

RE 20062006
RE 20052005
FME 19961996
FME 19931993
ESEC 19911991
VDM Europe (1) 19911991

Wrote 8 papers:

RE-2006-Dick #requirements
A Requirements Guide For All (REGAL): An INCOSE Initiative (JD), p. 264.
RE-2005-FanmuyPRDBWB #question #requirements
Are Requirements Engineering best practices the same for all industries? (GF, FP, JR, JD, SB, MW, PB), p. 448.
FME-1996-BicarreguiDW #analysis #formal method
Quantitative Analysis of an Application of Formal Methods (JB, JD, EW), pp. 60–73.
FME-1996-HoareDNS #cics
Applying the B Technologies on CICS (JH, JD, DN, IHS), pp. 74–84.
FME-1993-DickF #automation #generative #modelling #specification #testing
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications (JD, AF), pp. 268–284.
ESEC-1991-DickL #approach #formal method #visual notation
Integrating Structured and Formal Methods: A Visual Approach to VDM (JD, JL), pp. 37–59.
VDME-1991-DickL #specification #visual notation
The Visual Presentation of VDM Specifications (JD, JL), pp. 670–671.

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.