We develop spacecraft fault-protection software at NASA/JPL. Challenges exemplified by our task: 1) high-quality systems - need for extensive validation & verification; 2) multi-disciplinary context - involves experts from diverse areas; 3) embedded systems - must adapt to external practices, notations, etc.; and 4) development pressures - NASA's mandate of "better, faster, cheaper".


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Abstract for 1999 Rational Software User Conference


    Contributors:

    Conference:

    1999 Rational Software User Conference ; 1999 ; Seattle, WA, United States


    Publication date :

    1999-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Abstract for 1999 Rational Software User Conference

    Tung, Y. W. / Feather, M. / Rouquette, N. et al. | NTRS | 1999


    Conference Reports - 1999 Radar Conference

    Barthelemy | Online Contents | 1999




    Rational Behavior Adjustment Process with Boundedly Rational User Equilibrium

    Ye, Hongbo / Yang, Hai | British Library Online Contents | 2017