• DocumentCode
    3591264
  • Title

    Function extraction (FX) technology: automated calculation of program behavior for high-assurance systems

  • Author

    Linger, Richard C. ; Pleszkoch, Mark G.

  • Author_Institution
    Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
  • fYear
    2004
  • Firstpage
    267
  • Lastpage
    268
  • Abstract
    The function-theoretic view of programs suggests the possibility of automated calculation of program behavior. While significant theoretical challenges exist, the value of behavior calculation for high-assurance systems could be substantial.
  • Keywords
    function evaluation; program diagnostics; automated calculation; function extraction; high-assurance systems; program behavior; Algebra; Data engineering; Data mining; Equations; Humans; Level control; Programming profession; Software engineering; Systems engineering and theory; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
  • ISSN
    1530-2059
  • Print_ISBN
    0-7695-2094-4
  • Type

    conf

  • DOI
    10.1109/HASE.2004.1281753
  • Filename
    1281753
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3591264