Especificación en RSL de componentes basadas en streams

Autores
Riesco, Daniel Eduardo; Berón, Mario; Montejano, Germán Antonio; Dosch, Walter
Año de publicación
2003
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21494

id SEDICI_229b4530f3bfa649c06fda7b2e948218
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21494
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Especificación en RSL de componentes basadas en streamsRiesco, Daniel EduardoBerón, MarioMontejano, Germán AntonioDosch, WalterCiencias InformáticasRAISESOFTWARE ENGINEERINGRSLSpecification techniquesstreamsComponentesespecificaciónesquemaUn 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.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2003-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf337-341http://sedici.unlp.edu.ar/handle/10915/21494spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:31Zoai:sedici.unlp.edu.ar:10915/21494Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:31.269SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Especificación en RSL de componentes basadas en streams
title Especificación en RSL de componentes basadas en streams
spellingShingle Especificación en RSL de componentes basadas en streams
Riesco, Daniel Eduardo
Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
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
dc.creator.none.fl_str_mv Riesco, Daniel Eduardo
Berón, Mario
Montejano, Germán Antonio
Dosch, Walter
author Riesco, Daniel Eduardo
author_facet Riesco, Daniel Eduardo
Berón, Mario
Montejano, Germán Antonio
Dosch, Walter
author_role author
author2 Berón, Mario
Montejano, Germán Antonio
Dosch, Walter
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
topic Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
Specification techniques
streams
Componentes
especificación
esquema
dc.description.none.fl_txt_mv 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.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2003
dc.date.none.fl_str_mv 2003-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21494
url http://sedici.unlp.edu.ar/handle/10915/21494
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
337-341
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260112711876608
score 13.13397