Jeremy Dick

Springer, ISBN: 978-3-319-61072-6, 2017

2016

On the Use of Attributes to Manage Requirements.

[BibT_eX]

[DOI]

Louis S. Wheatcraft

Michael J. Ryan

Syst. Eng., 2016

2010

Requirements Engineering: Principles and Practice.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

2009

Using formal specifications to support testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2009

2006

A Requirements Guide For All (REGAL): An INCOSE Initiative.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

2005

Design Traceability.

[BibT_eX]

[DOI]

IEEE Softw., 2005

Specifying process and measuring progress in terms of information state.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Are Requirements Engineering best practices the same for all industries?.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Requirements Engineering, Second Edition.

[BibT_eX]

Springer, ISBN: 978-1-85233-879-4, 2005

2002

Requirements Engineering.

[BibT_eX]

Practitioner series, Springer, ISBN: 978-1-85233-577-9, 2002

1997

Making the Most of Formal Specification Through Animation, Testing and Proof.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1997

Lessons learned from rigorous system software development.

[BibT_eX]

[DOI]

Eoin Woods

Inf. Softw. Technol., 1997

1996

A Visual Approach to VDM.

[BibT_eX]

[DOI]

Jérôme Loubersac

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Applying the B Technologies on CICS.

[BibT_eX]

[DOI]

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Quantitative Analysis of an Application of Formal Methods.

[BibT_eX]

[DOI]

Juan Bicarregui

Eoin Woods

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.

[BibT_eX]

[DOI]

Alain Faivre

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Order-Sorted Term Rewriting.

[BibT_eX]

[DOI]

Phil Watson

Comput. J., 1991

An Introduction to Knuth-Bendix Completion.

[BibT_eX]

[DOI]

Comput. J., 1991

The Visual Presentation of VDM Specifications.

[BibT_eX]

[DOI]

Jérôme Loubersac

Proceedings of the VDM '91, 1991

Integrating Structured and Formal Methods: A Visual Approach to VDM.

[BibT_eX]

[DOI]

Jérôme Loubersac

Proceedings of the ESEC '91, 1991

1990

Automating the Knuth Bendix Ordering.

[BibT_eX]

[DOI]

John Kalmus

Ursula Martin

Acta Informatica, 1990

1989

Computer Aided Transformation of Z into Prolog.

[BibT_eX]

[DOI]

Alan Jeremy Jeffcoat Dick

Paul J. Krause

J. Cozens

Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989

1988

Order-sorted equational reasoning and rewrite systems.

[BibT_eX]

[DOI]

PhD thesis, 1988

1986

Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.

[BibT_eX]

[DOI]

Jim Cunningham

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Rewrite Systems on a Lattice of Types.

[BibT_eX]

[DOI]

Jim Cunningham

Acta Informatica, 1985

ERIL - Equational Reasoning: an Interactive Laboratory.

[BibT_eX]

[DOI]