Форум Сообщества Аналитиков

×


Формальная спецификация(Прочитано 3414 раз)
Формальная спецификация : 19 Января 2015, 17:20:54
Кто-нибудь пробовал писать формальные спецификации на языках типа Z, EventB, Alloy и т.п.? Мне кажется, что в последнее время наблюдается рост интереса индустрии к этой теме, особенно в областях связанных с security и safety, например:
  • seL4 - ядро операционой системы, реализация которого формально верифицирована на соответствие спецификации с помощью Isabelle;
  • проекты, использующие Alloy;
  • проекты, использующие EventB.
Меня в первую очередь заинтересовало то, что автоматизированными средствами можно проверять непротиворечивость и корректность спецификаций, выявляя ошибки на ранних стадиях жизнного цикла и снижая трудозатраты на поддержание в актуальном состоянии меняющихся системных и компонентных требований. А что думаете вы по поводу формальной спецификации?



Re: Формальная спецификация Ответ #1 : 19 Января 2015, 17:38:13
сообщение устарело
« Последнее редактирование: 06 Июня 2016, 17:42:14 от pmle »
Ставлю крестики на ноликах © pmle




 

Sitemap 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19