Especificación de requisitos: de lo informal a lo formal

Esta investigación se enmarca dentro del campo de la Ingeniería de Software, particularmente en lo que hace a la aplicación de metodologías formales y semi-formales de especificación de requisitos. A partir de una especificación de requisitos realizada en un lenguaje natural pasamos a una especifica...

Descripción completa

Detalles Bibliográficos
Autores principales: Dasso, Aristides, Funes, Ana
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Ingeniería del Software
Métodos Formales
Especificación
Requisitos
Lenguaje Natural
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19533
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-19533
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Ingeniería del Software
Métodos Formales
Especificación
Requisitos
Lenguaje Natural
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
Ingeniería del Software
Métodos Formales
Especificación
Requisitos
Lenguaje Natural
Dasso, Aristides
Funes, Ana
Especificación de requisitos: de lo informal a lo formal
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
Ingeniería del Software
Métodos Formales
Especificación
Requisitos
Lenguaje Natural
description Esta investigación se enmarca dentro del campo de la Ingeniería de Software, particularmente en lo que hace a la aplicación de metodologías formales y semi-formales de especificación de requisitos. A partir de una especificación de requisitos realizada en un lenguaje natural pasamos a una especificación en un lenguaje formal, por medio de reglas de transformación, inicialmente heurísticas, para en el futuro transformarlas en una aplicación de soporte al diseño de sistemas de software.
format Objeto de conferencia
Objeto de conferencia
author Dasso, Aristides
Funes, Ana
author_facet Dasso, Aristides
Funes, Ana
author_sort Dasso, Aristides
title Especificación de requisitos: de lo informal a lo formal
title_short Especificación de requisitos: de lo informal a lo formal
title_full Especificación de requisitos: de lo informal a lo formal
title_fullStr Especificación de requisitos: de lo informal a lo formal
title_full_unstemmed Especificación de requisitos: de lo informal a lo formal
title_sort especificación de requisitos: de lo informal a lo formal
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/19533
work_keys_str_mv AT dassoaristides especificacionderequisitosdeloinformalaloformal
AT funesana especificacionderequisitosdeloinformalaloformal
bdutipo_str Repositorios
_version_ 1764820464232824834

Ejemplares similares