プログラム仕様 しようであれば
puroguramu shiyōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of プログラム仕様

1. If the program specifications are…; When the program specifications are…

Ba Conditional
Computing