About the journal

• Home page
• Contact information
• Aims and scope
• Indexing information
• Editorial policies
• ComSIS consortium
• Journal boards
• Managing board

For authors

• Information for contributors
• Paper submission
• Article submission through OJS
• Copyright transfer form
• Download section

For readers

• Forthcoming articles
• Current issue
• Archive

For reviewers

• View and review submissions

News

• Journal's Facebook page
• Calls for special issues
• New issue notification

DOI:10.2298/CSIS110107006A

GammaPolarSlicer

Sergio Areias¹, Daniela da Cruz¹, Pedro Rangel Henriques¹ and Jorge Sousa Pinto¹

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

Abstract

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)

https://doi.org/10.2298/CSIS110107006A

Publication information

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

Full text

Available 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), https://doi.org/10.2298/CSIS110107006A