Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Reasoning about software specifications - A case study


    Contributors:
    WILD, CHRIS (author) / CHEN, JI (author) / ECKHARDT, DAVE (author)

    Conference:

    7th Computers in Aerospace Conference ; 1989 ; Monterey , CA , U.S.A.



    Publication date :

    1989-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Reasoning about software specifications - A case study

    Wild, Chris / Chen, JI / Eckhardt, Dave | NTRS | 1989


    Specifications for IDAMST Software

    D. G. Tubb | NTIS | 1977


    Tailoring software acquisition specifications

    Morrey, J.C. / Petrovay, G.O. | Tema Archive | 1976


    Case-Based Reasoning for Software Design Reuse

    Channarukul, S. / Charoenvikrom, S. / Daengdej, J. et al. | British Library Conference Proceedings | 2005


    On a Formal Tool for Reasoning About Flight Software Cost Analysis

    Spagnuolo, John N., Jr. / Stukes, Sherry A. | NTRS | 2013