《Formal Aspects Of Computing》出版語言：English，具體論文語言需根據相關征稿要求而定，可聯系雜志社或在線客服。
該雜志是一本由Springer London出版的國際知名學術期刊，創(chuàng)刊于1989年，出版語言：English，專注于工程技術-計算機：軟件工程領域，重點介紹工程技術-計算機：軟件工程的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。
本期刊旨在發(fā)表理論與實踐相結合的貢獻。其目標是傳播適用的研究。因此，如果新的理論貢獻受到潛在應用的激勵，則受到歡迎；如果現有形式主義的應用展示了方法或應用方面的新穎之處，則會引起人們的興趣。
具體而言，計算形式方面的范圍包括：
用于描述系統(tǒng)的完善符號；
可驗證的設計方法；
基本計算概念的闡明；
容錯設計方法；
定理證明支持；
狀態(tài)探索工具；
廣泛使用的符號和方法的形式基礎；
需求分析的形式化方法。
此外，關于《Formal Aspects Of Computing》的數據統(tǒng)計如下：
（1）JCR分區(qū)信息：按JIF指標學科分區(qū)：Q3，按JCI指標學科分區(qū)：Q4
JCR分區(qū)信息
Formal Aspects Of Computing（2023-2024年最新版數據）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2%
|
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 99 / 131 |
24.81%
|
湯森路透每年出版一本《期刊引用報告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數加以統(tǒng)計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中，主要參考當年IF，最終每個分區(qū)的期刊數量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：3.3
- SJR：0.518
- SNIP：1.091
| 學科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Mathematics 小類：Theoretical Computer Science | Q2 | 57 / 130 |
56%
|
| 大類：Mathematics 小類：Software | Q3 | 246 / 407 |
39%
|
CiteScore：該指標由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數量總和。
（3）在中科院分區(qū)表中，大類學科中計算機科學為：4區(qū)，小類學科中COMPUTER SCIENCE, SOFTWARE ENGINEERING工程技術-計算機：軟件工程：4區(qū)
中科院分區(qū)信息
計算的形式方面2023年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
|
4區(qū)
|
否 | 否 |
計算的形式方面2022年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
|
3區(qū)
|
否 | 否 |
計算的形式方面2021年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
|
3區(qū)
|
否 | 否 |
計算的形式方面2021年12月基礎版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術 | 4區(qū) |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
|
4區(qū)
|
否 | 否 |
計算的形式方面2021年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
|
3區(qū)
|
否 | 否 |
計算的形式方面2020年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
|
4區(qū)
|
否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數據）是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學術影響力，最終每個分區(qū)的期刊累積學術影響力是相同的，各區(qū)的期刊數量由高到底呈金字塔式分布。
投稿咨詢聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。
