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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21494
Ver los metadatos del registro completo
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 |