FORMAL METHODS IN SYSTEM DESIGN是中科院4區。

該刊創刊于1981年，年發文量在30篇，依據往期投稿者經驗反饋，該刊的審稿速度是>12周，或約稿。

系統設計中的正式方法報告了設計、實現和驗證硬件（VLSI）和軟件系統正確性的最新正式方法。讀者會發現高質量的原始論文描述了研究和發展的各個方面。該期刊的貢獻是為了開發一個重要的、非常有用的、通常適用的正式方法集合，這些方法將對未來的設計環境和設計方法產生重大影響。

FORMAL METHODS IN SYSTEM DESIGN中科院分區基礎版：

大類學科	分區	小類學科	分區	Top期刊	綜述期刊
工程技術	4區	COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法	4區	否	否

FORMAL METHODS IN SYSTEM DESIGN中科院分區升級版：

大類學科	分區	小類學科	分區	Top期刊	綜述期刊
計算機科學	3區	COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法	3區	否	否

拓展閱讀：

問題一：什么是中科院分區?

由于不同學科之間的SCI期刊很難進行比較和評價，中國科學院國家科學圖書館世界科學前沿分析中心(原中國科學院文獻情報中心)，對目前SCI核心庫加上擴展庫期刊的影響力等因素，以年度和學科為單位，對SCI期刊進行4個等級的劃分。一般而言，發表在1區和2區的SCI論文，通常被認為是該學科領域的比較重要的成果。期刊分區表自2004年發布，延續至今;2019年推出升級版，實現基礎版、升級版并存過渡，2022年只發布升級版。2004年至2023年《期刊分區表》數據每年底發布，從2025年開始改為年初發布。

問題二：什么是中科院分區基礎版

將JCR中所有期刊分為數學、物理、化學、生物、地學、天文、工程技術、醫學、環境科學、農林科學、社會科學、管理科學及綜合性期刊13 大類。每個學科分類按照期刊的3年平均影響因子高低，分為4四個區，呈金字塔狀分布：前5%為一區，6%~20%為二區，21%~50%為三區，后50%為四區。

問題三：中科院分區升級版

2022年開始，中科院開始只發布分區表升級版，升級版作了兩方面升級：

(1)評價指標上，采用“期刊超越指數”替代傳統的影響因子，突破均值指標的瓶頸，更客觀、更全面地反映期刊整體水平，解決了學科差異、文獻類型差異、偏態分布等問題。

“期刊超越指數”的計算方法：從期刊A選擇的任一論文，其引用數大于從其它期刊選擇的一篇相同主題、相同文獻類型論文的引用數的概率。

(2)學科分類上，采用“Paper-level 歸一化分類體系”，把每篇論文都劃分到一個主題，和傳統情況下的期刊屬于什么學科，論文就屬于什么學科的分類有很大差別。

問題四：我們選刊的時候該刊哪個分區?

其實兩種分區方式都比較權威，主要取決于您的單位更認可哪種。