Abstract | ||
---|---|---|
More precise program slices could be obtained by considering the semantic relations between variables of interest. In this paper, we present specification-based slicing that allows a better decomposition of the program by taking a specification as its slicing criterion. A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original program with respect to a specification given by a pre–postcondition pair. Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification, it can be widely used in many software engineering areas. In order to investigate its possible applications, we show how specification-based slicing can improve the process for extracting reusable functions from existing programs and restructuring complex programs for better maintainability. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1016/S1383-7621(01)00003-0 | Journal of Systems Architecture |
Keywords | Field | DocType |
specification-based program,program slicing,restructuring,software engineering,software reuse | Program slicing,Knowledge representation and reasoning,Programming language,Computer science,Correctness,Slicing,Language Of Temporal Ordering Specification,Program derivation,Semantics,Maintainability | Journal |
Volume | Issue | ISSN |
47 | 5 | Journal of Systems Architecture |
Citations | PageRank | References |
6 | 0.48 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wan Kwon Lee | 1 | 6 | 0.48 |
In Sang Chung | 2 | 64 | 6.76 |
Gwang Sik Yoon | 3 | 8 | 1.20 |
Yong Rae Kwon | 4 | 1031 | 50.37 |