software engineer subgroup of engineer, 7 assertions