Published Conference Proceedings - Paper
The Validation of Formal Specifications of Requirements
McCluskey, T & Porteous, J & West, M & Bryant, C 1996, The Validation of Formal Specifications of Requirements, in: Duke, D & Evans, A (eds.), 'Proceedings of the BCS-FACS Northern Formal Methods Workshop', Electronic Workshops in Computing Series, Springer, Berlin, Germany.
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.
BCS: British Computer Society FACS: Formal Aspects of Computing Science
McCluskey, & Porteous, & West, & Bryant, C eds. 1996, Proceedings of the BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing Series, Springer, Berlin, Germany.