Contract-and-Specification-in-Construction Topics