Seol mar théacs é seo: B: towards zero defect software