Jeremy Dick

According to our database1, Jeremy Dick authored at least 26 papers between 1985 and 2017.

Collaborative distances:

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

Specifying process and measuring progress in terms of information state.
Journal of Systems and 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
Order-Sorted Term Rewriting.
Comput. J., 1991

An Introduction to Knuth-Bendix Completion.
Comput. J., 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

1989
Computer Aided Transformation of Z into Prolog.
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989

1988
Order-sorted equational reasoning and rewrite systems.
PhD thesis, 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
Rewrite Systems on a Lattice of Types.
Acta Inf., 1985

ERIL - Equational Reasoning: an Interactive Laboratory.
Proceedings of the EUROCAL '85, 1985


  Loading...