Bisimulation abstraction for selecting software components in RAISE

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. RAIS...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Estévez, Elsa Clara, Janowski, Tomasz
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1999
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Software
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22262
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares