The Validation of Formal Specifications of Requirements

We review the approaches put forward to validate formal specifications of requirements, drawing a parallel with research into the validation of knowledge bases. Using an industrial-scale case study we describe a partially implemented, integrated environment for validating requirements stated in many-sorted first order logic. In particular, we show how techniques from machine learning can be used to provide extra tool-support for the validation process.

Content

Author and article information

Conference

Publication date: September 1996

Publication date (Print): September 1996

Pages: 1-13

Affiliations

[0001]The School of Computing and Mathematics, The University of Huddersfield,

Huddersfield,W.Yorks, UK

Article

DOI: 10.14236/ewic/FA1996.14

SO-VID: cb149936-fb23-43da-8ef3-c9ca1e463951

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS Northern Formal Methods Workshop

Conference acronym: NFM

Conference number:

Conference location: Ilkley, UK

Conference date: 23-24 September 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.14

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

The Validation of Formal Specifications of Requirements

Abstract