Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/13315
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Areias, Sérgio | - |
dc.contributor.author | Cruz, Daniela da | - |
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.date.accessioned | 2011-08-16T14:41:47Z | - |
dc.date.available | 2011-08-16T14:41:47Z | - |
dc.date.issued | 2010 | - |
dc.identifier.isbn | 9780769541136 | por |
dc.identifier.uri | https://hdl.handle.net/1822/13315 | - |
dc.description.abstract | 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. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.publisher | IEEE | por |
dc.rights | openAccess | por |
dc.subject | Component reuse | por |
dc.subject | safety reuse | por |
dc.subject | design-by-contract | por |
dc.subject | slicing | por |
dc.title | Contract-based slicing helps on safety reuse | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | The original publication is available at the IEEE CS digital library, http://www.computer.org/portal/web/csdl/home | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 62 | por |
oaire.citationEndPage | 63 | por |
oaire.citationTitle | Proceedings of the 2010 IEEE 18th International Conference on Program Comprehension | por |
dc.identifier.doi | 10.1109/ICPC.2010.44 | por |
sdum.conferencePublication | Proceedings of the 2010 IEEE 18th International Conference on Program Comprehension | - |
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 |