Verification and Validation of Software System Class Models