Using Function Abstraction to Understand Program Behavior

IEEE Software

Volumn 7, Issue 1, 1990, Pages 55-63

  Hausler, Philip A ^a   Litter, Richard C ^b   Hevner, Alan R ^c  

^a UNIVERSITY OF MARYLAND BALTIMORE COUNTY   (United States)

^b IBM Systems Integration Division ^*  (United States)

^c UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES--COBOL; DATA PROCESSING--FINANCIAL APPLICATIONS; MATHEMATICAL TECHNIQUES--ALGEBRA;

ABSTRACTION ALGORITHM; FINANCIAL SOFTWARE; FUNCTION ABSTRACTION; PROGRAM FUNCTION;

COMPUTER PROGRAMMING;

EID: 0025252785     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.43050     Document Type: Article

References (6)

1. R.C. Linger, H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Cambridge, Mass., 1979.
2. R.C. Linger, “Software Maintenance as an Engineering Discipline,” Proc. Conf. Software Maintenance, CS Press, Los Alamitos, Calif., 1988, pp. 292–297.
3. H.D. Mills, R.C. Linger, and A.R. Hevner, Principles of Information Systems Analysis and Design, Academic Press, Orlando, Fla., 1986.
4. A.R. Hevner and R.C. Linger, “A Method for Data Reengineering in Structured Programs,” Proc. Hawaii Int’l Conf System Sdences, Vol. 2, CS Press, Los Alamitos, Calif, 1989, pp. 1025–1034.
5. P. A Hausler, “Denotational Program Slicing,” Proc. Hawaii Int’l Conf. System Sciences, Vol. 2, CS Press, Los Alamitos, Calif, 1989, pp. 486-494.
6. B. Buchberger et al., eds., Computer Algrebra: Symbolic and Algebraic Computation, second ed., Springer-Verlag, New York, 1982.