Формальные методы Европа
Formal Methods Europe ( FME ) — это организация, целью которой является поощрение исследований и применения формальных методов для улучшения программного и аппаратного обеспечения в компьютерных системах. Членами ассоциации являются представители научных кругов и промышленности . Он базируется в Европе , но по своему охвату является международным. FME действует в соответствии с законодательством Нидерландов .
Мероприятия включают или включали:
- Распространение результатов исследований и промышленного опыта посредством конференций (каждые 18 месяцев) и спонсируемых мероприятий; [1] [2]
- Разработка информационных ресурсов для педагогов;
- Сеть для предпринимателей-практиков через ForTIA ( Ассоциация производителей формальных технологий ).
Председателем FME является Джон Фицджеральд из Университета Ньюкасл-апон-Тайн , Великобритания .
ForTIA [ править ]
Ассоциация индустрии формальных методов ( 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 г.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
 | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |