The SCEAS System
Navigation Menu

Search the dblp DataBase


Jeremy Dick: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Jeremy Dick
    A Requirements Guide For All (REGAL): An INCOSE Initiative. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:264- [Conf]
  8. Jeremy Dick, Jérôme Loubersac
    A Visual Approach to VDM. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1996, pp:275-284 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Jeremy Dick
    Design Traceability. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2005, v:22, n:6, pp:14-16 [Journal]

  13. Using formal specifications to support testing. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002