Proceedings of the August 1995 symposium, reflecting current research in high-integrity and reliable software applications, integration and harmonization of standards, assessing conformance to standards, and software process and product assessment. Topics include requirements for abnormal conditions and events analysis; automated integration for the Joint Maritime Command Information System; the Rome laboratory framework as the basis for an international quality metric standard; and coding regulations for safety critical software. |