The Validation of Formal Specifications of Requirements | Zendy

T.L. McCluskey | Zendy; Julie Porteous | Zendy; Margaret Mary West | Zendy; Christopher H. Bryant | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Validation of Formal Specifications of Requirements

Author(s) -

T.L. McCluskey,

Julie Porteous,

Margaret Mary West,

Christopher H. Bryant

Publication year - 1996

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fa1996.14

Subject(s) - computer science , formal specification , formal verification , process (computing) , software engineering , formal methods , scale (ratio) , formal description , systems engineering , programming language , engineering , quantum mechanics , physics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research