Which activity ensures software is built according to specification?