LINUX.ORG.RU
Форум — Development  

Formal method


0

0
Из любопытства - кто из девелопперов использует формальные методы спецификации :Z, VDM, B, Casl ... Насколько обоснованно их применение к обычным задачам?
★
← нет ли документации по внутреннему устройству TCP/IP
С++ Глобальные объекты →
я думаю доля использующих примерно равна доле производителей микросхем, использующих формальные логические методы верификации.
dilmah ★★★★★
()
Кстати о птичках: советую посмотреть на язык спецификаций Gallina в системе COQ: http://coq.inria.fr/
Antichrist ☆
()
Вчера совершенно случайно попал на интервью Jean-Raymond Abrial (автор B метода) для журнала 01net за янваr этого года, рассуждающего о применении формальных методов. На днях переведу и положу ссылку.
babai ★
() автор топика
Если кому Jean-Raymond Abrial интересно интервью для журнала 01net. Для меня этот человек бальшой маниту, пользовался его методом и софтом - впечатляет.
http://shamil.free.fr/misc/abrial.html
babai ★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← нет ли документации по внутреннему устройству TCP/IP
Development
С++ Глобальные объекты →