Sergio Areias1, Daniela da Cruz1, Pedro Rangel Henriques1 and Jorge Sousa Pinto1

  1. Departamento de Informatica e CCTC, Universidade do Minho
    Braga, Portugal


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.

Key words

Safety Reuse, Caller-based Slicing, Annotated System Dependency Graph.

Digital Object Identifier (DOI)

Publication information

Volume 8, Issue 2 (May 2011)
Advances in Formal Languages, Modeling and Applications
Year of Publication: 2011
ISSN: 1820-0214 (Print) 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

DownloadAvailable in PDF
Portable Document Format

How to cite

Areias, S., Cruz, D. d., Henriques, P. R., Pinto, J. S.: GammaPolarSlicer. Computer Science and Information Systems, Vol. 8, No. 2, 477-499. (2011),