Title :
Proceedings of COMPASS ´97: 12th Annual Conference on Computer Assurance
Abstract :
The following topics were dealt with: formal methods; software testing; software maintenance and reuse; information security; and software reliability, testing and metrics
Keywords :
formal specification; formal verification; program testing; security of data; software maintenance; software metrics; software reliability; software reusability; computer assurance; formal methods; information security; software maintenance; software metrics; software reliability; software reuse; software testing;
Conference_Titel :
Computer Assurance, 1997. COMPASS '97. Are We Making Progress Towards Computer Assurance? Proceedings of the 12th Annual Conference on
Conference_Location :
Gaithersburg, MD, USA
Print_ISBN :
0-7803-3979-7
DOI :
10.1109/CMPASS.1997.613166
