Формальные методы в Европе
-
Организация FME
- FME способствует исследованиям и применению формальных методов в компьютерных системах.
- Членами являются представители науки и промышленности.
- Базируется в Европе, имеет международный охват.
- Действует в соответствии с законодательством Нидерландов.
-
Мероприятия FME
- Проведение конференций каждые 18 месяцев для распространения результатов исследований.
- Разработка информационных ресурсов для педагогов.
- Создание связей между коммерческими практиками через ForTIA.
-
Председатель FME
- Джон Фитцджеральд из Университета Ньюкасла-апон-Тайн, Великобритания.
-
Ассоциация ForTIA
- ForTIA поддерживает промышленное использование формальных методов.
- Основана в 2003 году, председателями были Энтони Холл и Фолькмар Лотц.
- Международная организация, членство определялось компаниями.
- Организовывала встречи, особенно в связи с конференциями FME.
-
Дополнительная информация
- Ссылки на другие группы и веб-сайты, связанные с формальными методами.
- Статья является заглушкой, приглашающей к расширению.