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
С++ Глобальные объекты →