Geodesic
GammaPolarSlicer
Computer Science and Information Systems, Tome 8 (2011) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

In software development, it is often desirable to reuse existing software components. This has been recognized since 1968, when Douglas Mcllroy of Bell Laboratories proposed basing the software industry on reuse. Despite the failures in practice, many efforts have been made to make this idea successful. In this context, we address the problem of reusing annotated components as a rigorous way of assuring the quality of the application under construction.We introduce the concept of caller-based slicing as a way to certify that the integration of an annotated component with a contract into a legacy system will preserve the behavior of the former.
Keywords: Safety Reuse, Caller-based Slicing, Annotated System Dependency Graph. 
@article{CSIS_2011_8_2_a11,
     author = {Sergio Areias and Daniela da Cruz and Pedro Rangel Henriques and Jorge Sousa Pinto},
     title = {GammaPolarSlicer},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2011},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a11/}
}
TY  - JOUR
AU  - Sergio Areias
AU  - Daniela da Cruz
AU  - Pedro Rangel Henriques
AU  - Jorge Sousa Pinto
TI  - GammaPolarSlicer
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a11/
ID  - CSIS_2011_8_2_a11
ER  - 
%0 Journal Article
%A Sergio Areias
%A Daniela da Cruz
%A Pedro Rangel Henriques
%A Jorge Sousa Pinto
%T GammaPolarSlicer
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a11/
%F CSIS_2011_8_2_a11
Sergio Areias; Daniela da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto. GammaPolarSlicer. Computer Science and Information Systems, Tome 8 (2011) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a11/