The Representation and Use of Design Specifications: Nbs Technical Note 940