Jeremy Dick

19 papers A 2B 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — book
Requirements Engineering, 4th Edition
Jeremy Dick, M. Elizabeth C. Hull, Ken Jackson
2016 J jnl
On the Use of Attributes to Manage Requirements.
Syst. Eng.
Louis S. Wheatcraft, Michael J. Ryan, Jeremy Dick
2011 — book
Requirements Engineering, Third Edition.
M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick
2010 — ch.
Requirements Engineering: Principles and Practice.
Encyclopedia of Software Engineering
Jeremy Dick
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
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
2006 A conf
A Requirements Guide For All (REGAL): An INCOSE Initiative.
RE
Jeremy Dick
2005 A conf
Are Requirements Engineering best practices the same for all industries?.
RE
Gauthier Fanmuy, Frederique Populus, Jean Rene, Jeremy Dick, Sjaak Brinkkemper, Matthias Weber, Philippe Baron
2005 J jnl
Design Traceability.
IEEE Softw.
Jeremy Dick
2005 — book
Requirements Engineering, Second Edition.
M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick
2002 — book
Requirements Engineering.
M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick
1997 J jnl
Lessons learned from rigorous system software development.
Inf. Softw. Technol.
Jeremy Dick, Eoin Woods
1997 J jnl
Making the Most of Formal Specification Through Animation, Testing and Proof.
Sci. Comput. Program.
Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods
1996 B conf
A Visual Approach to VDM.
SOFSEM
Jeremy Dick, Jérôme Loubersac
1996 — conf
Applying the B Technologies on CICS.
FME
Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen
1996 — conf
Quantitative Analysis of an Application of Formal Methods.
FME
Juan Bicarregui, Jeremy Dick, Eoin Woods
1993 — conf
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.
FME
Jeremy Dick, Alain Faivre
1991 — conf
Integrating Structured and Formal Methods: A Visual Approach to VDM.
ESEC
Jeremy Dick, Jérôme Loubersac
1991 — conf
The Visual Presentation of VDM Specifications.
VDM Europe (1)
Jeremy Dick, Jérôme Loubersac
1990 J jnl
Automating the Knuth Bendix Ordering.
Acta Informatica
Jeremy Dick, John Kalmus, Ursula Martin