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