Comments 12
Но почему он назван крупнейшим? Я таковым привык считать дамбу в Питере, и, стоит по ней прокатиться, начинаешь верить в этоточень легко.
Кстати, подобные "ворота" там тоже есть.
Для расширения кругозора: https://ru.wikipedia.org/wiki/Судопропускное_сооружение_С-1
В какой момент скрипт вида "если <такие-то условия> то закрой ворота" превращается в ИИ?
инциденты почти никогда не возникают между Новым годом и Рождеством.
Между каким именно Рождеством? Страна католическая, то есть между 1 января и 25 декабря инцидентов нет? То есть все случаются между 25 декабря и 1 января?
Вот что самое для меня загадочное - без экзотических Z и Promela (надеюсь это теоретические языки, а то ещё могут быть баги в компиляторах/интерпретаторах) прям вот никак нельзя было строго формализованную проверку выполнить?
Тем более что приемочные тесты все равно на реальных исторических данных, в итоге...
На чем, интересно, работает эта BOS? Вот будет забавно, если какое-нибудь Win 3.1 или OS/2 Warp3.
Крупнейший штормовой барьер в Европе: инновации 90-х, опередившие время