Papers presented at RICIS Software Engineering Symposium are compiled. The following subject areas are covered: flight critical software; management of real-time Ada; software reuse; megaprogramming software; Ada net; POSIX and Ada integration in the Space Station Freedom Program; and assessment of formal methods for trustworthy computer systems.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    RICIS Software Engineering 90 Symposium: Aerospace Applications and Research Directions Proceedings Appendices


    Publication date :

    1990-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English