Jeremy Dick

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 1

Top Topics

Decision Making

Application Specific

Multi Attribute

Top Venues

Publications

Louis S. Wheatcraft, Michael J. Ryan, Jeremy Dick
On the Use of Attributes to Manage Requirements. Syst. Eng. 19 (5) (2016)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Jeremy Dick
A Requirements Guide For All (REGAL): An INCOSE Initiative. RE (2006)
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)
Jeremy Dick
Design Traceability. IEEE Softw. 22 (6) (2005)
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) (1997)
Jeremy Dick, Eoin Woods
Lessons learned from rigorous system software development. Inf. Softw. Technol. 39 (8) (1997)
Jeremy Dick, Jérôme Loubersac
A Visual Approach to VDM. SOFSEM (1996)
Juan Bicarregui, Jeremy Dick, Eoin Woods
Quantitative Analysis of an Application of Formal Methods. FME (1996)
Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen
Applying the B Technologies on CICS. FME (1996)
Jeremy Dick, Alain Faivre
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. FME (1993)
Jeremy Dick, Jérôme Loubersac
The Visual Presentation of VDM Specifications. VDM Europe (1) (1991)
Jeremy Dick, Jérôme Loubersac
Integrating Structured and Formal Methods: A Visual Approach to VDM. ESEC (1991)
Jeremy Dick, John Kalmus, Ursula Martin
Automating the Knuth Bendix Ordering. Acta Informatica 28 (2) (1990)