Specification Integrity and the VE Process