Skip to the content

The validation of formal specifications of requirements

McCluskey, TL, Porteous, JM, Bryant, CH and West, MM 1996, The validation of formal specifications of requirements , in: 1st BCS-FACS Northern Formal Methods Workshop, 23-24 September 1996, Ilkley, England. (Unpublished)

[img]
Preview
PDF
Download (101kB) | Preview

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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: BCS: British Computer Society FACS: Formal Aspects of Computing Science
Themes: Subjects / Themes > Q Science > QA Mathematics > QA075 Electronic computers. Computer science
Subjects outside of the University Themes
Schools: Colleges and Schools > College of Science & Technology
Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering
Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering > Data Mining and Pattern Recognition Research Centre
Publisher: Electronic Workshops in Computing Series, Springer
Refereed: No
Related URLs:
Depositing User: Dr Chris H. Bryant
Date Deposited: 17 Feb 2009 15:20
Last Modified: 20 Aug 2013 15:56
URI: http://usir.salford.ac.uk/id/eprint/1770

Actions (login required)

Edit record (repository staff only) Edit record (repository staff only)

Downloads

Downloads per month over past year