形けい式しき仕し様よう書しょ

noun

formal specification

Technical computing term for a document that describes a system's behavior using a formal language or notation.

• この形けい式しき仕し様よう書しょはZ記き法ほうで書かかれている。

  This formal specification is written in Z notation.