Jeremy Dick

According to our database1, Jeremy Dick
  • authored at least 18 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Requirements Engineering, 4th Edition
Springer, ISBN: 978-3-319-61072-6, 2017

2016
On the Use of Attributes to Manage Requirements.
Systems Engineering, 2016

2010
Requirements Engineering: Principles and Practice.
Proceedings of the Encyclopedia of Software Engineering, 2010

2009
Using formal specifications to support testing.
ACM Comput. Surv., 2009

2006
A Requirements Guide For All (REGAL): An INCOSE Initiative.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

2005
Design Traceability.
IEEE Software, 2005

Are Requirements Engineering best practices the same for all industries?.
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
Making the Most of Formal Specification Through Animation, Testing and Proof.
Sci. Comput. Program., 1997

Lessons learned from rigorous system software development.
Information & Software Technology, 1997

1996
A Visual Approach to VDM.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Applying the B Technologies on CICS.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Quantitative Analysis of an Application of Formal Methods.
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
The Visual Presentation of VDM Specifications.
Proceedings of the VDM '91, 1991

Integrating Structured and Formal Methods: A Visual Approach to VDM.
Proceedings of the ESEC '91, 1991

1990
Automating the Knuth Bendix Ordering.
Acta Inf., 1990


  Loading...