Title :
An integrated v&v environment for critical systems development
Author_Institution :
University of Victoria
Keywords :
Automatic testing; Computer science; Notice of Violation; Object oriented modeling; Programming; Software quality; Software systems; Specification languages; Unified modeling language; Writing;
Conference_Titel :
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Print_ISBN :
0-7695-1125-2
DOI :
10.1109/ISRE.2001.948587