DocumentCode :
1125798
Title :
Using function abstraction to understand program behavior
Author :
Hausler, P.A. ; Pleszkoch, M.G. ; Linger, Richard C. ; Hevner, Alan R.
Author_Institution :
IBM Syst. Integration Div., Gaithersburg, MD, USA
Volume :
7
Issue :
1
fYear :
1990
Firstpage :
55
Lastpage :
63
Abstract :
The authors explain how to understand programs by abstracting program function. This abstraction is made possible by the algebraic structure and mathematical properties of structured programs. They describe an abstraction algorithm that provides a basis for a tool for automatic abstraction of program functions. They also explore what the goals of a program-abstraction tool should be. A miniature Cobol program for a banking application is used as an example.<>
Keywords :
program diagnostics; software tools; structured programming; Cobol program; algebraic structure; banking; function abstraction; mathematical properties; program behavior; program-abstraction tool; structured programs; Automatic control; Automatic logic units; Banking; Control systems; Documentation; Educational institutions; Flowcharts; Frequency; Milling machines; Pricing;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/52.43050
Filename :
43050
Link To Document :
بازگشت