Jeremy Dick

	2011
17		M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick: Requirements Engineering, Third Edition. Springer 2011: I-XVIII, 1-207
	2010
16		Jeremy Dick: Requirements Engineering: Principles and Practice. Encyclopedia of Software Engineering 2010: 949-961
	2009
15		Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul 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)
	2006
14		Jeremy Dick: A Requirements Guide For All (REGAL): An INCOSE Initiative. RE 2006: 264
	2005
13		M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick: Requirements Engineering, Second Edition. Springer 2005: I-XV, 1-198
12		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: 448
11		Jeremy Dick: Design Traceability. IEEE Software 22(6): 14-16 (2005)
	2002
10		M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick: Requirements Engineering. Springer 2002: I-XXIII, 1-213
	1997
9		Jeremy Dick, Eoin Woods: Lessons learned from rigorous system software development. Information & Software Technology 39(8): 551-560 (1997)
8		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): 53-78 (1997)
	1996
7		Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73
6		Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen: Applying the B Technologies on CICS. FME 1996: 74-84
5		Jeremy Dick, Jérôme Loubersac: A Visual Approach to VDM. SOFSEM 1996: 275-284
	1993
4		Jeremy Dick, Alain Faivre: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. FME 1993: 268-284
	1991
3		Jeremy Dick, Jérôme Loubersac: Integrating Structured and Formal Methods: A Visual Approach to VDM. ESEC 1991: 37-59
2		Jeremy Dick, Jérôme Loubersac: The Visual Presentation of VDM Specifications. VDM Europe (1) 1991: 670-671
	1990
1		Jeremy Dick, John Kalmus, Ursula Martin: Automating the Knuth Bendix Ordering. Acta Inf. 28(2): 95-119 (1990)

Coauthor Index

1	Philippe Baron	[12]
2	Juan Bicarregui	[7] [8]
3	Kirill Bogdanov	[15]
4	Jonathan P. Bowen	[15]
5	Sjaak Brinkkemper	[12]
6	Rance Cleaveland	[15]
7	John Derrick	[15]
8	Alain Faivre	[4]
9	Gauthier Fanmuy	[12]
10	Marian Gheorghe	[15]
11	Mark Harman	[15]
12	Robert M. Hierons	[15]
13	Jonathan Hoare	[6]
14	M. Elizabeth C. Hull	[10] [13] [17]
15	Ken Jackson	[10] [13] [17]
16	John Kalmus	[1]
17	Kalpesh Kapoor	[15]
18	Paul Krause	[15]
19	Jérôme Loubersac	[2] [3] [5]
20	Gerald Lüttgen	[15]
21	Ursula Martin	[1]
22	Brian Matthews	[8]
23	David Neilson	[6]
24	Frederique Populus	[12]
25	Jean Rene	[12]
26	Anthony J. H. Simons	[15]
27	Ib Holm Sørensen	[6]
28	Sergiy A. Vilkomir	[15]
29	Matthias Weber	[12]
30	Eoin Woods	[7] [8] [9]
31	Martin R. Woodward	[15]
32	Hussein Zedan (Hussein S. M. Zedan)	[15]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page