Сила спецификации

Question

Учитывая Спецификации s1 и s2, где Постусловие S2 сильнее, чем у S1, а Предусловие S2 слабее, чем у S1, можно ли утверждать, что Спецификация S2 сильнее, чем S1? IMAO Я думаю, что вы не можете заявить об этом, потому что вы не можете сказать, что постусловие S2 сильнее, чем S1 на всех входах, разрешенных обоими.

Спасибо