SEEK: Salford Environment for Expertise and Knowledge

Published Conference Proceedings - Paper
September 1996

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.

Abstract

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.

Notes

BCS: British Computer Society FACS: Formal Aspects of Computing Science

Authors

SEEK Members

External Authors

T.L. McCluskey

J.M. Porteous

M.M. West

Editors:

Non-SEEK Editors

D. Duke

A.S. Evans

Publication Details

Conference Proceedings
McCluskey, & Porteous, & West, & Bryant, C eds. 1996, Proceedings of the BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing Series, Springer, Berlin, Germany.