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.
RICIS Software Engineering 90 Symposium: Aerospace Applications and Research Directions Proceedings Appendices
01.01.1990
Sonstige
Keine Angabe
Englisch