《Formal Methods In System Design》國際標準刊號?ISSN：0925-9856，電子期刊的國際標準刊號：1572-8102。
創刊時間：1992年
出版周期：Bimonthly
出版語言：English
國際簡稱：FORM METHOD SYST DES
研究方向：工程技術 - 計算機：理論方法
期刊定位與內容：
系統設計中的形式化方法(Formal Methods In System Design)是一本由Springer US出版的學術刊物，主要報道工程技術-計算機：理論方法相關領域研究成果與實踐。本刊已入選來源期刊，該刊創刊于1992年，出版周期Bimonthly。
《系統設計中的形式化方法》發表專家撰寫的簡短易懂的評論，重點介紹計算機：理論方法的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。
本期刊的重點是設計、實施和驗證硬件（VLSI）和軟件系統正確性的形式化方法。以此為目標創辦期刊的動機來自學術界和工業界。在這兩個領域，人們對使用形式化方法的興趣在過去幾年中迅速增加。驗證新設計所需的巨大成本和時間使人們意識到必須開發更強大的技術。目前正在設計許多技術和工具來提高復雜硬件和軟件系統的可靠性和穩健性。雖然系統中硬件、固件或軟件的（子）組件之間的界限繼續模糊，但相關的設計學科和形式化方法正在迅速成熟。因此，預計將出現一個重要（且有用）的常用形式化方法集合，這將對未來的設計環境和設計方法產生重大影響。
出版周期與發文量：
該雜志出版周期Bimonthly。近年來，該期刊的年發文量約為34篇。
學術影響力：
2021-2022年最新版WOS分區等級：Q3，2023年發布的影響因子為0.7，CiteScore指數2，SJR指數0.4。本刊非開放獲取期刊。
Cite Score（2024年最新版）
- CiteScore：2
- SJR：0.4
- SNIP：0.666
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：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年提出，指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數，除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。
投稿咨詢聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。
