| 2006 |
|---|
| 12 | EE | Jeremy Dick:
A Requirements Guide For All (REGAL): An INCOSE Initiative.
RE 2006: 264 |
| 2005 |
|---|
| 11 | EE | Gauthier Fanmuy,
Frederique Populus,
Jean Rene,
Jeremy Dick,
Sjaak Brinkkemper,
Matthias Weber,
Philippe Baron:
Are Requirements Engineering best practices the same for all industries?.
RE 2005: 448 |
| 10 | EE | Jeremy Dick:
Design Traceability.
IEEE Software 22(6): 14-16 (2005) |
| 1997 |
|---|
| 9 | EE | Jeremy Dick,
Eoin Woods:
Lessons learned from rigorous system software development.
Information & Software Technology 39(8): 551-560 (1997) |
| 8 | | Juan Bicarregui,
Jeremy Dick,
Brian Matthews,
Eoin Woods:
Making the Most of Formal Specification Through Animation, Testing and Proof.
Sci. Comput. Program. 29(1-2): 53-78 (1997) |
| 1996 |
|---|
| 7 | | Juan Bicarregui,
Jeremy Dick,
Eoin Woods:
Quantitative Analysis of an Application of Formal Methods.
FME 1996: 60-73 |
| 6 | | Jonathan Hoare,
Jeremy Dick,
David Neilson,
Ib Holm Sørensen:
Applying the B Technologies on CICS.
FME 1996: 74-84 |
| 5 | | Jeremy Dick,
Jérôme Loubersac:
A Visual Approach to VDM.
SOFSEM 1996: 275-284 |
| 1993 |
|---|
| 4 | | Jeremy Dick,
Alain Faivre:
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.
FME 1993: 268-284 |
| 1991 |
|---|
| 3 | | Jeremy Dick,
Jérôme Loubersac:
Integrating Structured and Formal Methods: A Visual Approach to VDM.
ESEC 1991: 37-59 |
| 2 | | Jeremy Dick,
Jérôme Loubersac:
The Visual Presentation of VDM Specifications.
VDM Europe (1) 1991: 670-671 |
| 1990 |
|---|
| 1 | | Jeremy Dick,
John Kalmus,
Ursula Martin:
Automating the Knuth Bendix Ordering.
Acta Inf. 28(2): 95-119 (1990) |
