计算的形式方面(Formal Aspects Of Computing)是一本由Springer London出版的一本工程技术-计算机：软件工程学术刊物，主要报道工程技术-计算机：软件工程相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于1989年，出版周期Quarterly。2021-2022年最新版WOS分区等级：Q3，2023年发布的影响因子为1.4，CiteScore指数3.3，SJR指数0.518。本刊非开放获取期刊。
本期刊旨在发表理论与实践相结合的贡献。其目标是传播适用的研究。因此，如果新的理论贡献受到潜在应用的激励，则受到欢迎；如果现有形式主义的应用展示了方法或应用方面的新颖之处，则会引起人们的兴趣。
具体而言，计算形式方面的范围包括：
用于描述系统的完善符号；
可验证的设计方法；
基本计算概念的阐明；
容错设计方法；
定理证明支持；
状态探索工具；
广泛使用的符号和方法的形式基础；
需求分析的形式化方法。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。
| 按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，最终每个分区的期刊数量是均分的。
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：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中的文章数量总和。
| 期刊名称 | 引用次数 |
| 期刊名称 | 引用次数 |
中科院分区 2区 JCR分区 Q1
查看详情
中科院分区 2区 JCR分区 Q1
查看详情
中科院分区 3区 JCR分区 Q1
查看详情
中科院分区 3区 JCR分区 Q2
查看详情
中科院分区 2区 JCR分区 Q1
查看详情
中科院分区 1区 JCR分区 Q1
查看详情本站合法持有《出版物经营许可证》，仅销售经国家新闻出版署批准的合法期刊，不是任何杂志官网，不涉及出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关，若期刊信息有任何问题，请联系在线客服，我们会认真核实处理。 若用户需要出版服务，请联系出版商：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。