じごじょうけん

事後条件

表記・読み：じごじょうけん

1. 1

   postcondition

   名詞computing