Формальные методы Европа - Formal Methods Europe

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

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

  • Распространение результатов исследований и производственного опыта через конференции (каждые 18 месяцев) и спонсируемые мероприятия;[1][2]
  • Развитие информационных ресурсов для педагогов;
  • Нетворкинг для практикующих специалистов через ForTIA (Ассоциация индустрии формальных технологий ).

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

ForTIA

В Ассоциация индустрии формальных технологий (ForTIA) с целью поддержки промышленного использования формальные методы под эгидой организации Формальные методы Европа. Он был основан в 2003 году благодаря усилиям Dines Bjørner и под председательством Энтони Холл и Фолькмар Лотц среди других. Его сфера деятельности была международной, а членство - компанией. Он организовывал встречи, особенно в связи с конференциями, например, отраслевые дни на конференциях FM, организованных FME.[3][4]

Смотрите также

Рекомендации

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

внешняя ссылка