Оглавление
Формальные аспекты вычислительной техники
-
Обзор журнала Formal Aspects of Computing
- Журнал FAC является рецензируемым изданием, публикуемым ACM и BCS.
- Он тесно связан с организацией Formal Methods Europe и имеет историю, начавшуюся в 1989 году.
-
Происхождение и цели
- Кристофер Стрейчи вдохновил создание журнала, подчеркивая важность понимания фундаментальных принципов проектирования в вычислительной технике.
- FAC стремится объединить теорию и практику в области вычислительной техники и стимулировать применение формализмов к практическим задачам.
-
Вклад в науку
- Журнал публикует материалы, связанные с формальными методами и их приложениями в вычислительной технике.
- Он фокусируется на разработке обоснованных обозначений, методов проектирования и инструментов верификации.
-
Структура и содержание
- FAC включает в себя исследовательские статьи, конференции и семинары, тематические разделы и некрологи.
- Он также публикует критические обзоры и обзоры книг, связанных с формальными методами.
-
Импакт и доступность
- В 2023 году журнал имеет импакт-фактор 1,4 и доступен в открытом доступе.
-
Дополнительные ресурсы
- На сайте журнала можно найти информацию о его структуре, уставе, авторском праве и редакционной коллегии.
- Статья также содержит призыв к расширению Википедии и советы по написанию академических статей.