Knowledge base techniques for software requirements validation

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/83406

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.author	Álvarez Canal, Jordi
dc.contributor.author	Castell Ariño, Núria
dc.date	1996-12
dc.identifier.citation	Alvarez, J., Castell, N. "Knowledge base techniques for software requirements validation". 1996.
dc.identifier.uri	http://hdl.handle.net/2117/83406
dc.language.iso	eng
dc.relation	LSI-96-65-R
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject	Software requirements validation
dc.title	Knowledge base techniques for software requirements validation
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.abstract	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.