Как устранить ошибки из программы? Стандартная практика предлагает нам тестирование как метод нахождения ошибок в программе. Могут ли самые современные и совершенные технологии и инструменты тестирования дать гарантию того, что в программе нет ошибок? Очевидно, нет. Но методология верификации — то есть математического доказательства корректности — может дать именно это. В курсе будут освещены следующие вопросы:
По окончанию курса студенты могут выполнить практические задания с применением функционального языка flow.
Дата и время | Занятие | Место | Материалы |
---|---|---|---|
02 апреля 18:00–19:20 |
Лекция, Лекция | НГУ, уточняется, НГУ, новый корпус | Нет |