• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1125798