Algebraic specifications and refinement for component-based development using RAISE

There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to compo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Estévez, Elsa Clara, Fillottrani, Pablo Rubén
Formato: Articulo
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
formal methods
component-based development
SOFTWARE ENGINEERING
Requirements/Specifications
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9443
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-5.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9443
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
formal methods
component-based development
SOFTWARE ENGINEERING
Requirements/Specifications
spellingShingle Ciencias Informáticas
formal methods
component-based development
SOFTWARE ENGINEERING
Requirements/Specifications
Estévez, Elsa Clara
Fillottrani, Pablo Rubén
Algebraic specifications and refinement for component-based development using RAISE
topic_facet Ciencias Informáticas
formal methods
component-based development
SOFTWARE ENGINEERING
Requirements/Specifications
description There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration.
format Articulo
Articulo
author Estévez, Elsa Clara
Fillottrani, Pablo Rubén
author_facet Estévez, Elsa Clara
Fillottrani, Pablo Rubén
author_sort Estévez, Elsa Clara
title Algebraic specifications and refinement for component-based development using RAISE
title_short Algebraic specifications and refinement for component-based development using RAISE
title_full Algebraic specifications and refinement for component-based development using RAISE
title_fullStr Algebraic specifications and refinement for component-based development using RAISE
title_full_unstemmed Algebraic specifications and refinement for component-based development using RAISE
title_sort algebraic specifications and refinement for component-based development using raise
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/9443
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-5.pdf
work_keys_str_mv AT estevezelsaclara algebraicspecificationsandrefinementforcomponentbaseddevelopmentusingraise
AT fillottranipabloruben algebraicspecificationsandrefinementforcomponentbaseddevelopmentusingraise
bdutipo_str Repositorios
_version_ 1764820491325931520

Ejemplares similares