期刊簡(jiǎn)介

本期刊的重點(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í)到必須開發(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)生重大影響。

系統(tǒng)設(shè)計(jì)中的形式化方法創(chuàng)刊于1992年，由Springer US出版社出版。其研究的主題領(lǐng)域包括但不限于工程技術(shù)-計(jì)算機(jī)：理論方法，是一本在計(jì)算機(jī)科學(xué)領(lǐng)域具有重要影響力的國(guó)際期刊。該期刊涵蓋了計(jì)算機(jī)科學(xué)的多個(gè)子領(lǐng)域，旨在全面理解和解決計(jì)算機(jī)科學(xué)問(wèn)題。

根據(jù)最新的數(shù)據(jù)，系統(tǒng)設(shè)計(jì)中的形式化方法的影響因子為0.7，CiteScore為2，h-index為47，SJR為0.4，SNIP為0.666，中科院分區(qū)為4區(qū)，這些指標(biāo)均顯示了該期刊在計(jì)算機(jī)科學(xué)領(lǐng)域的優(yōu)秀地位。

該刊以English作為出版語(yǔ)言。對(duì)于English非母語(yǔ)的作者，期刊建議使用語(yǔ)言編輯服務(wù)，以確保文稿的語(yǔ)法和拼寫錯(cuò)誤得到糾正，并符合科學(xué)English的標(biāo)準(zhǔn)。如果想實(shí)現(xiàn)快速順利的投稿發(fā)表，建議您聯(lián)系本站的客服團(tuán)隊(duì)，將為您提供專業(yè)的選刊建議，并在整個(gè)投稿過(guò)程中提供細(xì)致的指導(dǎo)。