The theory of interface slicing
作者： Jon Beck
DOI:
关键词: Slicing 、 Domain engineering 、 Interface (Java) 、 Computer science 、 Feature-oriented domain analysis 、 Domain analysis 、 Static program analysis 、 Programming language 、 Domain (software engineering) 、 Program slicing
摘要: Interface slicing is a new tool which was developed to facilitate reuse-based software engineering, by addressing the following problems, needs, and issues: (1) size of systems incorporating reused modules; (2) knowledge requirements for program modification; (3) understanding reverse engineering; (4) module granularity domain management; (5) time space complexity conventional slicing. The definition form static analysis called interface addressed.
jaxa.jp参考文章(15)
Hans Albrecht Schmid, Jürgen Uhl, A Systematic Catalogue of Reusable Abstract Data Types ,(1990)
Grady Booch, Software engineering with Ada ,(1983)
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford, Dynamic slicing in the presence of unconstrained pointers Proceedings of the symposium on Testing, analysis, and verification. pp. 60- 73 ,(1991) , 10.1145/120807.120813
Jean-Francois Bergeretti, Bernard A. Carré, Information-flow and data-flow analysis of while-programs ACM Transactions on Programming Languages and Systems. ,vol. 7, pp. 37- 61 ,(1985) , 10.1145/2363.2366
Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, Roger Nasr, Efficient implementation of lattice operations ACM Transactions on Programming Languages and Systems. ,vol. 11, pp. 115- 146 ,(1989) , 10.1145/59287.59293
James M. Purtilo, Joanne M. Atlee, Module reuse by interface adaptation Software - Practice and Experience. ,vol. 21, pp. 539- 556 ,(1991) , 10.1002/SPE.4380210602
Matthew S. Hecht, Flow Analysis of Computer Programs ,(1977)
Susan Horwitz, Thomas Reps, David Binkley, Interprocedural slicing using dependence graphs ACM Transactions on Programming Languages and Systems. ,vol. 12, pp. 26- 60 ,(1990) , 10.1145/77606.77608
Bogdan Korel, Janusz Laski, Dynamic program slicing Information Processing Letters. ,vol. 29, pp. 155- 163 ,(1988) , 10.1016/0020-0190(88)90054-3
A. Podgurski, L.A. Clarke, A formal model of program dependences and its implications for software testing, debugging, and maintenance IEEE Transactions on Software Engineering. ,vol. 16, pp. 965- 979 ,(1990) , 10.1109/32.58784