Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/13315
Título: | Contract-based slicing helps on safety reuse |
Autor(es): | Areias, Sérgio Cruz, Daniela da Pinto, Jorge Sousa |
Palavras-chave: | Component reuse safety reuse design-by-contract slicing |
Data: | 2010 |
Editora: | IEEE |
Resumo(s): | In this poster we describe a work in progress aimed at using a variant of specification-based slicing to improve the reuse of annotated software components, developed under the so called design-by-contract approach. We have named this variant as contract-based because we use the annotations, more precisely the pre and post-conditions, to slice programs intra and inter-procedures. The idea, expressed in the poster, is to take the pre-condition of the reused annotated component as slicing criterion, and slice backward the program where the component is called. In that way, we can isolate the statements that have influence on the variables involved on the pre-condition and check if it is preserved by that invocation, or not. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/13315 |
ISBN: | 9780769541136 |
DOI: | 10.1109/ICPC.2010.44 |
Versão da editora: | The original publication is available at the IEEE CS digital library, http://www.computer.org/portal/web/csdl/home |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ICPC2010posterSlicingvf.pdf | Documento principal | 97,14 kB | Adobe PDF | Ver/Abrir |