Формальные аспекты вычислений

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: See WP:JWG. Please help improve this article if you can. (July 2024) (Learn how and when to remove this message) This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Formal Aspects of Computing" – news · newspapers · books · scholar · JSTOR (July 2024) (Learn how and when to remove this message) (Learn how and when to remove this message)

Формальные аспекты вычислений

Дисциплина	Информатика , формальные методы
Язык	Английский
Отредактировано ​	Джим Вудкок , Клифф Джонс
Подробности публикации
История	1989–настоящее время
Издатель	Ассоциация вычислительной техники
Частота	Ежеквартальный
Импакт-фактор	1.4 (2023)
Стандартные сокращения ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt )
ИСО 4	Форма. Аспид. Вычисл.
Индексация CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus
ISSN	0934-5043  (печатная версия) 1433-299X (веб-версия)
Номер OCLC	42939863
Ссылки
Домашняя страница журнала

Formal Aspects of Computing ( FAC ) — рецензируемый журнал Gold Open Access , издаваемый Association for Computing Machinery (ACM) и BCS (Британское компьютерное общество , Институт дипломированных специалистов по ИТ). Журнал тесно связан с Formal Methods Europe.

На написание журнала его вдохновил комментарий Кристофера Стрейчи:

«Большая часть практической работы, выполняемой в области вычислений, как в области проектирования программного обеспечения, так и оборудования, могла бы быть лучше, поскольку люди, которые ее выполняют, должны четко понимать фундаментальные принципы проектирования своей работы. Большая часть абстрактной математической и теоретической работы бесплодна, поскольку не имеет точки соприкосновения с реальными вычислениями».

Стрейчи призвал положить конец искусственному и пагубному разделению практической и теоретической работы в программировании.

Журнал Formal Aspects of Computing был основан в 1989 году BCS по инициативе Джона Кука, Дэна Симпсона и Клиффа Джонса , которые все были членами группы специалистов BCS Formal Aspects of Computing. Клифф Джонс был редактором-основателем, а Springer был первоначальным издателем. Клифф Джонс был главным редактором с 1989 по 2007 год. Джим Вудкок является нынешним EIC, заняв пост в 2007 году.

Formal Aspects of Computing публикует статьи на стыке теории и практики. Основная цель FAC — содействовать росту компьютерной науки, показывать ее связь с практикой и стимулировать применение соответствующих формализмов к практическим задачам. Одной из важных задач является демонстрация того, как ряд формальных моделей может быть связан друг с другом. В частности, область применения Formal Aspects of Computing включает в себя:

• Обоснованные нотации для описания и спецификации систем.
• Методы проектирования проверяемых систем.
• Разъяснение фундаментальных вычислительных концепций и моделей.
• Подходы к отказоустойчивому проектированию.
• Инструменты проверки и доказательства теорем.
• Инструменты исследования состояния и проверки моделей.
• Формальная семантика для широко используемых обозначений и методов.
• Формальные подходы к анализу требований.

Джим Вудкок — нынешний главный редактор . Согласно Journal Citation Reports , журнал имеет импакт-фактор 2023 года 1,4.

Журнал приветствует вклады в дополнение к исследовательским работам. К ним относятся следующие.

• Специальные выпуски FAC приветствует предложения по специальным выпускам от ведущих членов сообщества формальных методов. Соответствующие предложения включают:
  • Конференции и семинары. Переработанные сборники статей.
  • Тематические разделы включают сборники статей, посвященных актуальным вопросам формальных методов, обычно с открытым приемом статей.
• Современные отчеты. Глубокий научный анализ важнейших областей исследований.
• История идей История идей прослеживает происхождение и развитие формальных методов и их инструментов. Она исследует различные механизации, их взаимосвязь, используемые интеллектуальные ресурсы и дальнейшие идеи, вдохновленные работой.
• Рецензии на книги Сюда входят критические обзоры формальных методов, исследовательских монографий и учебных пособий.
• Некрологи Некрологи обычно описывают и восхваляют жизни самых успешных исследователей, в нашем случае, через основополагающий вклад в формальные методы. Мы также призываем восхвалять людей, которые внесли вклад в нашу тему более обычными способами, например, через инновационное обучение, написание учебников, разработку программных инструментов, осуществление просветительской деятельности и непрерывное образование, а также применение наших инструментов и методов в промышленности.

• Акта Информатика
• Инновации в области системной и программной инженерии

• Официальный сайт
• Домашняя страница
• Устав (включая тематику журнала)
• Представления
• Правила для авторов
• Редакционная коллегия
• Открытый доступ
• Импакт-фактор и индексация

Эта статья о журнале по компьютерным наукам — заглушка . Вы можете помочь Википедии, расширив ее. См. советы по написанию статей об академических журналах . Дополнительные предложения можно найти на странице обсуждения статьи .

• v
• t
• e