計(jì)算的形式方面(Formal Aspects Of Computing)是一本由Springer London出版的一本工程技術(shù)-計(jì)算機(jī)：軟件工程學(xué)術(shù)刊物，主要報(bào)道工程技術(shù)-計(jì)算機(jī)：軟件工程相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊，該刊創(chuàng)刊于1989年，出版周期Quarterly。2021-2022年最新版WOS分區(qū)等級(jí)：Q3，2023年發(fā)布的影響因子為1.4，CiteScore指數(shù)3.3，SJR指數(shù)0.518。本刊非開放獲取期刊。
本期刊旨在發(fā)表理論與實(shí)踐相結(jié)合的貢獻(xiàn)。其目標(biāo)是傳播適用的研究。因此，如果新的理論貢獻(xiàn)受到潛在應(yīng)用的激勵(lì)，則受到歡迎；如果現(xiàn)有形式主義的應(yīng)用展示了方法或應(yīng)用方面的新穎之處，則會(huì)引起人們的興趣。
具體而言，計(jì)算形式方面的范圍包括：
用于描述系統(tǒng)的完善符號(hào)；
可驗(yàn)證的設(shè)計(jì)方法；
基本計(jì)算概念的闡明；
容錯(cuò)設(shè)計(jì)方法；
定理證明支持；
狀態(tài)探索工具；
廣泛使用的符號(hào)和方法的形式基礎(chǔ)；
需求分析的形式化方法。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數(shù)據(jù)）是中國科學(xué)院文獻(xiàn)情報(bào)中心世界科學(xué)前沿分析中心的科學(xué)研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學(xué)術(shù)影響力，最終每個(gè)分區(qū)的期刊累積學(xué)術(shù)影響力是相同的，各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2%
|
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 99 / 131 |
24.81%
|
湯森路透每年出版一本《期刊引用報(bào)告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個(gè)不同學(xué)科類別在JCR的Journal Ranking中，主要參考當(dāng)年IF，最終每個(gè)分區(qū)的期刊數(shù)量是均分的。
| 學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Mathematics 小類：Theoretical Computer Science | Q2 | 57 / 130 |
56%
|
| 大類：Mathematics 小類：Software | Q3 | 246 / 407 |
39%
|
CiteScore：該指標(biāo)由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是：例如，某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
| 文章名稱 | 引用次數(shù) |
| 期刊名稱 | 引用次數(shù) |
| 期刊名稱 | 引用次數(shù) |
| 國家/地區(qū)名 | 數(shù)量 |
| 機(jī)構(gòu)名 | 數(shù)量 |
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 3區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 3區(qū) JCR分區(qū) Q2
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 1區(qū) JCR分區(qū) Q1
查看詳情若用戶需要出版服務(wù)，請聯(lián)系出版商：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。
