formal specification
Technical computing term for a document that describes a system's behavior using a formal language or notation.
This formal specification is written in Z notation.
仕様書 is a general specification document, while 形式仕様書 specifically uses a formal language or mathematical notation.
Compound of 形式 (formal) and 仕様書 (specification document).