Una técnica para una especificación inicial en RSL

Mostrar todas las versiones(2)

Los métodos formales ayudan a incrementar la confiabilidad del software. Estos métodos permiten “razonar” acerca de propiedades del software o de sistemas que involucran software. Además, ofrecen la seguridad de que los requisitos son verificados en cada paso del desarrollo, encontrando inconsisten...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Mauco, Virginia, Riesco, Daniel Eduardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
especificación inicial en RSL
técnica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21733
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21733
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
especificación inicial en RSL
técnica
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
especificación inicial en RSL
técnica
Mauco, Virginia
Riesco, Daniel Eduardo
Una técnica para una especificación inicial en RSL
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
especificación inicial en RSL
técnica
description Los métodos formales ayudan a incrementar la confiabilidad del software. Estos métodos permiten “razonar” acerca de propiedades del software o de sistemas que involucran software. Además, ofrecen la seguridad de que los requisitos son verificados en cada paso del desarrollo, encontrando inconsistencias e incompletitud. Las especificaciones formales se pueden usar durante todo el ciclo de vida del software y se pueden manipular con herramientas automáticas con una amplia variedad de propósitos tales como model checking, verificación deductiva, animación, generación de casos de prueba, reuso formal de componentes, y refinamiento de especificación a implementación. El Método RAISE (Rigourous Approach to Industrial Software Engineering) [3], por ejemplo, provee facilidades para el uso industrial de métodos formales en el desarrollo de sistemas de software. Este método provee de un gran número de técnicas y estrategias para hacer desarrollos formales y pruebas, además de un lenguaje formal de especificación, RAISE Specification Language (RSL) [2], y un conjunto de herramientas. Sin embargo, estos métodos son, en general, sólo accesibles a especialistas debido a que sus formalismos matemáticos son más difíciles de entender y comunicar.
format Objeto de conferencia
Objeto de conferencia
author Mauco, Virginia
Riesco, Daniel Eduardo
author_facet Mauco, Virginia
Riesco, Daniel Eduardo
author_sort Mauco, Virginia
title Una técnica para una especificación inicial en RSL
title_short Una técnica para una especificación inicial en RSL
title_full Una técnica para una especificación inicial en RSL
title_fullStr Una técnica para una especificación inicial en RSL
title_full_unstemmed Una técnica para una especificación inicial en RSL
title_sort una técnica para una especificación inicial en rsl
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21733
work_keys_str_mv AT maucovirginia unatecnicaparaunaespecificacioninicialenrsl
AT riescodanieleduardo unatecnicaparaunaespecificacioninicialenrsl
bdutipo_str Repositorios
_version_ 1764820464851484674

Ejemplares similares