Specification-Driven Product Development