0зной
2ответ
Принцип замены Лискова (LSP) нарушен через проект по контракту (DBC)?
0зной
2ответ
1зной
1ответ
Предварительные условия поиска по контракту
15зной
1ответ
Общие слова Лиспа для проверки аргументов и другой паранойи?
1зной
1ответ
Интерфейс read_character и last_character в STD_FILES
0зной
1ответ
0зной
1ответ
Является ли исключение действующим постусловием?
2зной
2ответ
Как может модульный тест «проверить контракт» на метод, который возвращает void?
0зной
1ответ
Итерация через матрицу с openJML
0зной
1ответ