《Formal Methods In System Design》出版語言：English，具體論文語言需根據(jù)相關(guān)征稿要求而定，可聯(lián)系雜志社或在線客服。
該雜志是一本由Springer US出版的國際知名學術(shù)期刊，創(chuàng)刊于1992年，出版語言：English，專注于工程技術(shù)-計算機：理論方法領域，重點介紹工程技術(shù)-計算機：理論方法的最新關(guān)鍵主題。每篇文章都是對該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。
本期刊的重點是設計、實施和驗證硬件（VLSI）和軟件系統(tǒng)正確性的形式化方法。以此為目標創(chuàng)辦期刊的動機來自學術(shù)界和工業(yè)界。在這兩個領域，人們對使用形式化方法的興趣在過去幾年中迅速增加。驗證新設計所需的巨大成本和時間使人們意識到必須開發(fā)更強大的技術(shù)。目前正在設計許多技術(shù)和工具來提高復雜硬件和軟件系統(tǒng)的可靠性和穩(wěn)健性。雖然系統(tǒng)中硬件、固件或軟件的（子）組件之間的界限繼續(xù)模糊，但相關(guān)的設計學科和形式化方法正在迅速成熟。因此，預計將出現(xiàn)一個重要（且有用）的常用形式化方法集合，這將對未來的設計環(huán)境和設計方法產(chǎn)生重大影響。
此外，關(guān)于《Formal Methods In System Design》的數(shù)據(jù)統(tǒng)計如下：
（1）JCR分區(qū)信息：按JIF指標學科分區(qū)：Q3，按JCI指標學科分區(qū)：Q4
JCR分區(qū)信息
Formal Methods In System Design（2023-2024年最新版數(shù)據(jù)）
| 按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ù)量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：2
- SJR：0.4
- SNIP：0.666
| 學科類別 | 分區(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ù)量總和。
（3）在中科院分區(qū)表中，大類學科中計算機科學為：4區(qū)，小類學科中COMPUTER SCIENCE, THEORY & METHODS工程技術(shù)-計算機：理論方法：4區(qū)
中科院分區(qū)信息
系統(tǒng)設計中的形式化方法2023年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
4區(qū)
|
否 | 否 |
系統(tǒng)設計中的形式化方法2022年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
3區(qū)
|
否 | 否 |
系統(tǒng)設計中的形式化方法2021年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
3區(qū)
|
否 | 否 |
系統(tǒng)設計中的形式化方法2021年12月基礎版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
4區(qū)
|
否 | 否 |
系統(tǒng)設計中的形式化方法2021年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
3區(qū)
|
否 | 否 |
系統(tǒng)設計中的形式化方法2020年12月舊的升級版
| 大類學科 | 分區(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ù)量由高到底呈金字塔式分布。
投稿咨詢聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。
