《Formal Aspects Of Computing》出版语言：English，具体论文语言需根据相关征稿要求而定，可联系杂志社或在线客服。
该杂志是一本由Springer London出版的国际知名学术期刊，创刊于1989年，出版语言：English，专注于工程技术-计算机：软件工程领域，重点介绍工程技术-计算机：软件工程的最新关键主题。每篇文章都是对该主题的最新、完整的总结，方便尚未深入研究的人阅读。
本期刊旨在发表理论与实践相结合的贡献。其目标是传播适用的研究。因此，如果新的理论贡献受到潜在应用的激励，则受到欢迎；如果现有形式主义的应用展示了方法或应用方面的新颖之处，则会引起人们的兴趣。
具体而言，计算形式方面的范围包括：
用于描述系统的完善符号；
可验证的设计方法；
基本计算概念的阐明；
容错设计方法；
定理证明支持；
状态探索工具；
广泛使用的符号和方法的形式基础；
需求分析的形式化方法。
此外，关于《Formal Aspects Of Computing》的数据统计如下：
（1）JCR分区信息：按JIF指标学科分区：Q3，按JCI指标学科分区：Q4
JCR分区信息
Formal Aspects Of Computing（2023-2024年最新版数据）
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 99 / 131 |
24.81%
|
汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：3.3
- SJR：0.518
- SNIP：1.091
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Mathematics 小类：Theoretical Computer Science | Q2 | 57 / 130 |
56%
|
| 大类：Mathematics 小类：Software | Q3 | 246 / 407 |
39%
|
CiteScore：该指标由Elsevier于2016年提出，指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是：例如，某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数，除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。
（3）在中科院分区表中，大类学科中计算机科学为：4区，小类学科中COMPUTER SCIENCE, SOFTWARE ENGINEERING工程技术-计算机：软件工程：4区
中科院分区信息
计算的形式方面2023年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
计算的形式方面2022年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
计算的形式方面2021年12月旧的升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
计算的形式方面2021年12月基础版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
计算的形式方面2021年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
计算的形式方面2020年12月旧的升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。
投稿咨询