形式 けいしき仕様 しよう しょ
keishiki shiyō sho

Noun

1. formal specification

Computing