The validation of formal specifications of requirements

Authors:
T. L. McCluskey;J. M. Porteous;M. M. West;C. H. Bryant
Affiliations:
The School of Computing and Mathematics, The University of Huddersfield, Huddersfield, W. Yorks, UK;The School of Computing and Mathematics, The University of Huddersfield, Huddersfield, W. Yorks, UK;The School of Computing and Mathematics, The University of Huddersfield, Huddersfield, W. Yorks, UK;The School of Computing and Mathematics, The University of Huddersfield, Huddersfield, W. Yorks, UK
Venue:
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Year:
1996

Citing 7
Cited 1

Software in safety-related systems

Software in safety-related systems
Software development: two approaches to animation of Z specifications using Prolog

Software Engineering Journal
Automated Refinement of First-Order Horn-Clause Domain Theories

Machine Learning
A requirements capture method and its use in an air traffic control application

Software—Practice & Experience
Elements of machine learning

Elements of machine learning
On formal requirements modeling languages: RML revisited

ICSE '94 Proceedings of the 16th international conference on Software engineering
Version spaces: an approach to concept learning.

Version spaces: an approach to concept learning.

The Automated Refinement of a Requirements Domain Theory

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.