Jeremy Dick
According to our database1,
Jeremy Dick
authored at least 26 papers
between 1985 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
1
1
1
2
2
2
1
1
1
1
3
1
2
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
2016
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
2009
2006
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006
2005
J. Syst. Softw., 2005
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005
Requirements Engineering, Second Edition.
Springer, ISBN: 978-1-85233-879-4, 2005
2002
Requirements Engineering.
Practitioner series, Springer, ISBN: 978-1-85233-577-9, 2002
1997
Sci. Comput. Program., 1997
Inf. Softw. Technol., 1997
1996
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1993
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
1991
Proceedings of the ESEC '91, 1991
1990
1989
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989
1988
1986
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
Proceedings of the EUROCAL '85, 1985