|
Search the dblp DataBase
Jeremy Dick:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jeremy Dick, Jérôme Loubersac
Integrating Structured and Formal Methods: A Visual Approach to VDM. [Citation Graph (0, 0)][DBLP] ESEC, 1991, pp:37-59 [Conf]
- Juan Bicarregui, Jeremy Dick, Eoin Woods
Quantitative Analysis of an Application of Formal Methods. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:60-73 [Conf]
- Jeremy Dick, Alain Faivre
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. [Citation Graph (0, 0)][DBLP] FME, 1993, pp:268-284 [Conf]
- Jeremy Dick, Jérôme Loubersac
The Visual Presentation of VDM Specifications. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:670-671 [Conf]
- Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen
Applying the B Technologies on CICS. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:74-84 [Conf]
- Gauthier Fanmuy, Frederique Populus, Jean Rene, Jeremy Dick, Sjaak Brinkkemper, Matthias Weber, Philippe Baron
Are Requirements Engineering best practices the same for all industries?. [Citation Graph (0, 0)][DBLP] RE, 2005, pp:448- [Conf]
- Jeremy Dick
A Requirements Guide For All (REGAL): An INCOSE Initiative. [Citation Graph (0, 0)][DBLP] RE, 2006, pp:264- [Conf]
- Jeremy Dick, Jérôme Loubersac
A Visual Approach to VDM. [Citation Graph (0, 0)][DBLP] SOFSEM, 1996, pp:275-284 [Conf]
- Jeremy Dick, John Kalmus, Ursula Martin
Automating the Knuth Bendix Ordering. [Citation Graph (0, 0)][DBLP] Acta Inf., 1990, v:28, n:2, pp:95-119 [Journal]
- Jeremy Dick, Eoin Woods
Lessons learned from rigorous system software development. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 1997, v:39, n:8, pp:551-560 [Journal]
- Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods
Making the Most of Formal Specification Through Animation, Testing and Proof. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:1-2, pp:53-78 [Journal]
- Jeremy Dick
Design Traceability. [Citation Graph (0, 0)][DBLP] IEEE Software, 2005, v:22, n:6, pp:14-16 [Journal]
Using formal specifications to support testing. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|