Knowledge base techniques for software requirements validation
Jordi Alvarez Canal, Núria Castell Ariño · 1996
This document explains a knowledge based model intended to help in Software Requirements Validation. We first construct automatically a specification model from a set of correct specifications using machine learning techniques; and then this model is used to validate new specifications. The machine learning techniques that are used, combine ideas from terminological reasoning, analogical reasoning and probabilistic representation.