系統(tǒng)設(shè)計(jì)中的形式化方法(Formal Methods In System Design)是一本由Springer US出版的一本工程技術(shù)-計(jì)算機(jī)：理論方法學(xué)術(shù)刊物，主要報(bào)道工程技術(shù)-計(jì)算機(jī)：理論方法相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來(lái)源期刊，該刊創(chuàng)刊于1992年，出版周期Bimonthly。2021-2022年最新版WOS分區(qū)等級(jí)：Q3，2023年發(fā)布的影響因子為0.7，CiteScore指數(shù)2，SJR指數(shù)0.4。本刊非開(kāi)放獲取期刊。
本期刊的重點(diǎn)是設(shè)計(jì)、實(shí)施和驗(yàn)證硬件（VLSI）和軟件系統(tǒng)正確性的形式化方法。以此為目標(biāo)創(chuàng)辦期刊的動(dòng)機(jī)來(lái)自學(xué)術(shù)界和工業(yè)界。在這兩個(gè)領(lǐng)域，人們對(duì)使用形式化方法的興趣在過(guò)去幾年中迅速增加。驗(yàn)證新設(shè)計(jì)所需的巨大成本和時(shí)間使人們意識(shí)到必須開(kāi)發(fā)更強(qiáng)大的技術(shù)。目前正在設(shè)計(jì)許多技術(shù)和工具來(lái)提高復(fù)雜硬件和軟件系統(tǒng)的可靠性和穩(wěn)健性。雖然系統(tǒng)中硬件、固件或軟件的（子）組件之間的界限繼續(xù)模糊，但相關(guān)的設(shè)計(jì)學(xué)科和形式化方法正在迅速成熟。因此，預(yù)計(jì)將出現(xiàn)一個(gè)重要（且有用）的常用形式化方法集合，這將對(duì)未來(lái)的設(shè)計(jì)環(huán)境和設(shè)計(jì)方法產(chǎn)生重大影響。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 3區(qū) | 否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數(shù)據(jù)）是中國(guó)科學(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, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 120 / 143 |
16.43%
|
湯森路透每年出版一本《期刊引用報(bào)告》（Journal Citation Reports，簡(jiǎn)稱JCR）。JCR對(duì)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 | Q3 | 92 / 130 |
29%
|
| 大類：Mathematics 小類：Hardware and Architecture | Q4 | 136 / 177 |
23%
|
| 大類：Mathematics 小類：Software | Q4 | 314 / 407 |
22%
|
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ù) |
| 國(guó)家/地區(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ū) 1區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 3區(qū) JCR分區(qū) Q2
查看詳情若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。