Specification-based program slicing and its applications

Journal of Systems Architecture

Volumn 47, Issue 5, 2001, Pages 427-443

  Lee, Wan Kwon ^a   Chung, In Sang ^b   Yoon, Gwang Sik ^c   Kwon, Yong Rae ^c  

^a Jeonju University   (South Korea)

^b Hansung University   (South Korea)

^c Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Program slicing; Restructuring; Software engineering; Software reuse

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE REUSABILITY; SOFTWARE ENGINEERING;

SPECIFICATION-BASED PROGRAM SLICING;

COMPUTER ARCHITECTURE;

EID: 0035339812     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(01)00003-0     Document Type: Article

References (15)

1. Software reuse
2. Software restructuring
3. The semantic approach to program slicing
4. Dynamic slicing of computer programs
5. Integrating non-interfering versions of programs
6. A calculus of refinements for program derivations
7. Software salvaging based on conditions
8. Program slicing using weakest preconditions
9. Restructuring programs through program slicing
10. Extracting reusable functions by flow-graph based program slicing
11. Storing and retrieving software components: A refinement based system
12. Program slicing