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: Dick:Jeremy
Contributed to:
20062005
19961993
1991
1991Wrote 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.