仕様
形式仕様は、ソフトウェアやハードウェアを数学的に記述したもので、何らかの実装の開発に使われる。それはシステムが何をすべきかを記述したもので、それをどう実現するかは記述する必要はない。システムの設計が形式仕様に照らして正しいかどうかの形式的検証に使われたりする。これには、工程が先に進む前に正しくない設計を改良できるという利点がある。代替手法としては、仕様から設計への変換、および特に実際の実装への変換に際して、詳細化を行う手法がある。
たとえば国土交通省であれば各地方整備局から維持管理を含めた土木工事、機械設備や電気通信設備の工事・業務、測量業務、土地・地質調査、各種調査や分析解析・計画業務(プランニング業務)等を含む設計等委託業務、発注者支援業務に関する共通仕様書を発行している。共通仕様書をもって定義される名称記載事項については、例えば現場代理人#土木工事共通仕様書等における用語の定義(参考)なども参照。 公共建築事業であれば建築設計業務等では一例として国土交通省官庁営繕部及び地方整備局等営繕部が公共建築設計業務委託共通仕様書を、官庁施設の営繕を実施するための基準として制定している。 設備を含めた建築工事では一例として(一社)公共建築協会が国土交通省大臣官房官庁営繕部監修「公共建築設計業務委託共通仕様書 建築工事監理業務委託共通仕様書」を、官庁施設等の工事に係る建築設計業務を委託する際に共通的な契約図書をして使用することを目的として標準的な使用を示している。
追加仕様書は共通仕様書、特記仕様書に表されていない事項が各作業中に生じた時に追加される仕様で、設計変更や仕様変更等が生じた時などに追加仕様書が作成される。
鉄道ではすでに、1878年(明治11年)の請負工事で「土工仕様書並請負人心得書」がみられる。