Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-11T12:30:22Z
dc.date.available 2012-10-11T12:30:22Z
dc.date.issued 1999
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/22262
dc.description.abstract Sorne questions and problems arise when working with ComponentBased Design. One of these is the abstraction needed to decide suitability of a component for the designo Bisimulation is a relation between the states of two systems expressing that we cannot distinguish between them by observation. RAISE is a formal approach to industrial software engineering based on higher-order logic. In this paper we present how to apply bisimulations to compare RAISE modules. We present concepts of strong and weak bisimulations and we present examples. We conclud discussing how bisimulation supports the concept of self-contained, persistent components in RAISE, similar to object in distributed object computing. en
dc.language en es
dc.subject SOFTWARE ENGINEERING es
dc.subject Software es
dc.title Bisimulation abstraction for selecting software components in RAISE en
dc.type Objeto de conferencia es
sedici.creator.person Estévez, Elsa Clara es
sedici.creator.person Janowski, Tomasz es
sedici.description.note Eje: Ingeniería del software. Computación gráfica y visualización es
sedici.subject.materias Ciencias Informáticas 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 1999-05
sedici.relation.event I Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (191.4Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)