• DocumentCode
    3380607
  • Title

    A system for analysis and verification of software design

  • Author

    Hammond, Linda S. ; Murphy, Daniel L. ; Smith, Mark K.

  • Author_Institution
    Boeing Computer Services Company
  • fYear
    1978
  • fDate
    1978
  • Firstpage
    42
  • Lastpage
    47
  • Keywords
    Application software; Error correction; Information analysis; Military computing; Process control; Production; Programming; Software design; Software development management; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
  • Type

    conf

  • DOI
    10.1109/CMPSAC.1978.810305
  • Filename
    810305
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3380607