Knowledge base techniques for software requirements validation

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...

Descripción completa

Detalles Bibliográficos
Autores: Álvarez Canal, Jordi, Castell Ariño, Núria|||0000-0002-0519-3548
Tipo de recurso: informe técnico
Fecha de publicación:1996
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/83406
Acceso en línea:https://hdl.handle.net/2117/83406
Access Level:acceso abierto
Palabra clave:Software requirements validation
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
id ES_ab58ac2e8bb2e9a5717c0b87f2ad2fc2
oai_identifier_str oai:upcommons.upc.edu:2117/83406
network_acronym_str ES
network_name_str España
repository_id_str
spelling Knowledge base techniques for software requirements validationÁlvarez Canal, JordiCastell Ariño, Núria|||0000-0002-0519-3548Software requirements validationÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificialThis 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.19961996-12-0120162016-02-24reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/postscripthttps://hdl.handle.net/2117/83406reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/834062026-05-27T15:37:01Z
dc.title.none.fl_str_mv Knowledge base techniques for software requirements validation
title Knowledge base techniques for software requirements validation
spellingShingle Knowledge base techniques for software requirements validation
Álvarez Canal, Jordi
Software requirements validation
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
title_short Knowledge base techniques for software requirements validation
title_full Knowledge base techniques for software requirements validation
title_fullStr Knowledge base techniques for software requirements validation
title_full_unstemmed Knowledge base techniques for software requirements validation
title_sort Knowledge base techniques for software requirements validation
dc.creator.none.fl_str_mv Álvarez Canal, Jordi
Castell Ariño, Núria|||0000-0002-0519-3548
author Álvarez Canal, Jordi
author_facet Álvarez Canal, Jordi
Castell Ariño, Núria|||0000-0002-0519-3548
author_role author
author2 Castell Ariño, Núria|||0000-0002-0519-3548
author2_role author
dc.subject.none.fl_str_mv Software requirements validation
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
topic Software requirements validation
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
description 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.
publishDate 1996
dc.date.none.fl_str_mv 1996
1996-12-01
2016
2016-02-24
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/83406
url https://hdl.handle.net/2117/83406
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/postscript
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869416261322014720
score 15,300719