J
Jeremy Dick
Publications - 5
Citations - 540
Jeremy Dick is an academic researcher. The author has contributed to research in topics: Formal specification & Formal methods. The author has an hindex of 5, co-authored 5 publications receiving 536 citations.
Papers
More filters
Book ChapterDOI
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
Jeremy Dick,Alain Faivre +1 more
TL;DR: In this paper, the authors present automatic techniques for partition analysis in state-based specifications, specifically VDM, which can be used to generate test cases, for sequencing the tests, or as an oracle in verifying the tests.
Journal ArticleDOI
Making the most of formal specification through animation, testing and proof
TL;DR: The experience of an industrial pilot project which undertook a formal development using VDM and B and employed a number of techniques for the analysis of the formal texts by animation, test case generation and proof is described.
Book ChapterDOI
Quantitative Analysis of an Application of Formal Methods
TL;DR: The MaFMeth project, which undertook a formal development with tool support for several parts of the life cycle from requirements capture through to C code generation, explores the hypotheses that formal methods enable the early detection of faults in design.
Book ChapterDOI
Applying the B Technologies on CICS
TL;DR: This paper reports on the experiences of IBM Hursley in using the Z notation and the B-Method in developing new function for IBM's CICS product.
Journal ArticleDOI
Lessons learned from rigorous system software development
Jeremy Dick,Eoin Woods +1 more
TL;DR: This project applied formal methods to a small part of the development of a release of a system software product to specify, design and implement the administration subsystem of a product that was otherwise developed along conventional lines.