TL McCluskey
The validation of formal specifications of requirements
McCluskey, TL; Porteous, JM; Bryant, CH; West, MM
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.
Citation
McCluskey, T., Porteous, J., Bryant, C., & West, M. (1996). The validation of formal specifications of requirements. . https://doi.org/10.14236/ewic/FA1996.14
Conference Name | 1st BCS-FACS Northern Formal Methods Workshop |
---|---|
Conference Location | Ilkley, England |
Start Date | Sep 23, 1996 |
End Date | Sep 24, 1996 |
Online Publication Date | Sep 24, 1996 |
Publication Date | Sep 24, 1996 |
Deposit Date | Feb 17, 2009 |
Publicly Available Date | Feb 17, 2009 |
DOI | https://doi.org/10.14236/ewic/FA1996.14 |
Publisher URL | https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.14 |
Additional Information | BCS: British Computer Society FACS: Formal Aspects of Computing Science Event Type : Conference |
Files
Published Version
(101 Kb)
PDF
Publisher Licence URL
http://creativecommons.org/licenses/by/4.0/
You might also like
Pruning methods for rule induction
(2017)
Thesis
Pruning classification rules with instance reduction methods
(2015)
Journal Article
Preceding rule induction with instance reduction methods
(2013)
Conference Proceeding
Comparing the performance of object and object relational database systems on objects of varying complexity
(2012)
Conference Proceeding
Downloadable Citations
About USIR
Administrator e-mail: library-research@salford.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search