計算的形式方面(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
查看詳情
中科院分區 1區 JCR分區 Q1
查看詳情
中科院分區 2區 JCR分區 Q1
查看詳情若用戶需要出版服務，請聯系出版商：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。