Формальные методы Европа

Formal Methods Europe ( FME ) — это организация, целью которой является поощрение исследований и применения формальных методов для улучшения программного и аппаратного обеспечения в компьютерных системах. Членами ассоциации являются представители научных кругов и промышленности . Он базируется в Европе , но по своему охвату является международным. FME действует в соответствии с законодательством Нидерландов .

Мероприятия включают или включали:

Распространение результатов исследований и промышленного опыта посредством конференций (каждые 18 месяцев) и спонсируемых мероприятий; ^{[ 1 ]}^{[ 2 ]}
Разработка информационных ресурсов для педагогов;
Сеть для предпринимателей-практиков через ForTIA ( Ассоциация производителей формальных технологий ).

Председателем FME является Джон Фицджеральд из Университета Ньюкасл-апон-Тайн , Великобритания .

Сорок

Ассоциация индустрии формальных методов ( ForTIA ) стремилась поддержать промышленное использование формальных методов под эгидой организации Formal Methods Europe . Он был основан в 2003 году благодаря первоначальным усилиям Динеса Бьёрнера и возглавлялся, среди других, Энтони Холлом и Фолькмаром Лотцем. Его масштаб был международным, и членство было по компаниям. Он организовывал встречи, особенно в сочетании с конференциями, например, отраслевые дни на конференциях FM, организованных FME. ^{[ 3 ]}^{[ 4 ]}

См. также

BCS-FACS по формальным аспектам информатики Группа специалистов
Формальные методы
Энтони Холл , председатель-основатель ForTIA

Ссылки

^ «ФМ 2011: 17-й Международный симпозиум по формальным методам» . Лимерик , Ирландия : Леро . 20–24 июня 2011 г. Проверено 16 августа 2014 г.
^ «ФМ 2014: 19-й Международный симпозиум по формальным методам» . Сингапур : Национальный университет Сингапура . 14–16 мая 2014 г. Проверено 16 августа 2014 г.
^ «День промышленности ForTIA 2006» . Формальные методы 2005 . Ньюкасл-апон-Тайн, Великобритания: Archive.org . Архивировано из оригинала 8 июня 2009 года . Проверено 16 августа 2013 г.
^ «День промышленности» . ФМ 2006 . Гамильтон, Канада: Университет Макмастера . 23 августа 2006 г. Проверено 16 августа 2013 г.

Внешние ссылки

Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее .

[1] «ФМ 2011: 17-й Международный симпозиум по формальным методам» . Лимерик , Ирландия : Леро . 20–24 июня 2011 г. Проверено 16 августа 2014 г.

[2] «ФМ 2014: 19-й Международный симпозиум по формальным методам» . Сингапур : Национальный университет Сингапура . 14–16 мая 2014 г. Проверено 16 августа 2014 г.

[3] «День промышленности ForTIA 2006» . Формальные методы 2005 . Ньюкасл-апон-Тайн, Великобритания: Archive.org . Архивировано из оригинала 8 июня 2009 года . Проверено 16 августа 2013 г.

[4] «День промышленности» . ФМ 2006 . Гамильтон, Канада: Университет Макмастера . 23 августа 2006 г. Проверено 16 августа 2013 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Соединенные Штаты Чешская Республика 2