形式 けいしき仕様 しよう しょであれば
keishiki shiyō shodeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 形式仕様書

1. If it is a specification document; When it is a specification document

Ba Conditional
Computing