Especificación en RSL de componentes basadas en streams

Un stream es una secuencia finita o infinita de mensajes transmitidos sobre un canal. Los streams tienen propiedades las cuales hacen posible modelar software en dominios específicos. RAISE es un método riguroso para el desarrollo de software. RSL, es el lenguaje de especificación formal usado por...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Riesco, Daniel Eduardo, Berón, Mario, Montejano, Germán Antonio, Dosch, Walter
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21494
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21494
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
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
spellingShingle Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
Riesco, Daniel Eduardo
Berón, Mario
Montejano, Germán Antonio
Dosch, Walter
Especificación en RSL de componentes basadas en streams
topic_facet Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
description Un stream es una secuencia finita o infinita de mensajes transmitidos sobre un canal. Los streams tienen propiedades las cuales hacen posible modelar software en dominios específicos. RAISE es un método riguroso para el desarrollo de software. RSL, es el lenguaje de especificación formal usado por el método RAISE. Se han desarrollado herramientas que permiten verificar automáticamente las especificaciones de los módulos de software construidos. Aquí radica la ventaja del uso del método RAISE. En esta línea de investigación se estudia el formalismo de los streams y las componentes de software basadas en ellos. Se presentan aquí las especificaciones en RSL de las propiedades básicas de streams y de la componente scan, la cual recorre una secuencia de datos en tiempo serial aplicando una operación binaria, esta operación binaria es subespecificada para permitir su reuso. Junto con la componente scan se muestran sus aplicaciones en la construcción de nuevas componentes.
format Objeto de conferencia
Objeto de conferencia
author Riesco, Daniel Eduardo
Berón, Mario
Montejano, Germán Antonio
Dosch, Walter
author_facet Riesco, Daniel Eduardo
Berón, Mario
Montejano, Germán Antonio
Dosch, Walter
author_sort Riesco, Daniel Eduardo
title Especificación en RSL de componentes basadas en streams
title_short Especificación en RSL de componentes basadas en streams
title_full Especificación en RSL de componentes basadas en streams
title_fullStr Especificación en RSL de componentes basadas en streams
title_full_unstemmed Especificación en RSL de componentes basadas en streams
title_sort especificación en rsl de componentes basadas en streams
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/21494
work_keys_str_mv AT riescodanieleduardo especificacionenrsldecomponentesbasadasenstreams
AT beronmario especificacionenrsldecomponentesbasadasenstreams
AT montejanogermanantonio especificacionenrsldecomponentesbasadasenstreams
AT doschwalter especificacionenrsldecomponentesbasadasenstreams
bdutipo_str Repositorios
_version_ 1764820464610312193

Ejemplares similares