БКС-FACS
-
История и достижения BCS-FACS
- BCS-FACS — британская группа по формальным методам, основанная в 1965 году.
- Группа активно участвовала в разработке стандартов и руководств по формальным методам.
- BCS-FACS была одной из первых групп, применивших формальные методы в разработке программного обеспечения.
-
Организационная структура и мероприятия
- BCS-FACS состоит из 12 комитетов, включая комитет по формальным методам и комитет по безопасности.
- Группа проводит ежегодные конференции и семинары, включая FASec’02 и CSP25.
- BCS-FACS поддерживает связи с другими группами и организациями, такими как Центр надежности программного обеспечения и Европейские формальные методы.
-
Информационный бюллетень и семинары
- FACS FACTS — информационный бюллетень, публикуемый ежегодно.
- Проводятся вечерние семинары, на которых выступают ведущие специалисты в области компьютерных технологий.
- В декабре проводится ежегодный семинар Питера Лэндина по семантике.
-
Публикации и наследие
- BCS-FACS опубликовала множество книг и статей, связанных с формальными методами.
- Рид Ф. X. был постоянным автором информационного бюллетеня и экспертом по семантике COMEFROM.
-
Ссылки и ресурсы
- Ссылки на веб-сайт BCS-FACS и альтернативные веб-сайты.
- Группа BCS-FACS представлена в LinkedIn.
- Бывший веб-сайт BCS-FACS доступен на Archive.org.