Skip to the content

The validation of formal specifications of requirements

Tools

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 (99kB) | 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: 27 Sep 2011 12:32
    URI: http://usir.salford.ac.uk/id/eprint/1770

    Document Downloads

    More statistics for this item...

    Actions (login required)

    		 Edit record (repository staff only)