Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-09-26T11:50:14Z
dc.date.available 2012-09-26T11:50:14Z
dc.date.issued 2003
dc.identifier.uri http://hdl.handle.net/10915/21494
dc.description.abstract 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. es
dc.format.extent p. 337-341 es
dc.language es es
dc.title Especificación en RSL de componentes basadas en streams es
dc.type Objeto de conferencia es
sedici.creator.person Riesco, Daniel Eduardo es
sedici.creator.person Berón, Mario es
sedici.creator.person Montejano, Germán Antonio es
sedici.creator.person Dosch, Walter es
sedici.description.note Eje: Ingeniería de Software es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.keyword RAISE es
sedici.subject.keyword RSL es
sedici.subject.keyword streams es
sedici.subject.keyword Componentes es
sedici.subject.keyword especificación es
sedici.subject.keyword esquema es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2003-05 es
sedici.relation.event V Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es
sedici.subject.acmcss98 SOFTWARE ENGINEERING es
sedici.subject.acmcss98 Specification techniques es


Files in this item

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)