Software verification and validation within the (rational) unified process | IEEE Conference Publication | IEEE Xplore