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