國際標準簡稱：FORM METHOD SYST DES
人氣 402
《Formal Methods In System Design》是一本專注于COMPUTER SCIENCE, THEORY & METHODS領域的English學術期刊，創刊于1992年，由Springer US出版商出版，出版周期Bimonthly。該刊發文范圍涵蓋COMPUTER SCIENCE, THEORY & METHODS等領域，旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, THEORY & METHODS工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。該刊已被SCIE數據庫收錄，在中科院最新升級版分區表中，該刊分區信息為大類學科計算機科學4區，2023年影響因子為0.7。
The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 4區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 4區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區 | 否 | 否 |
中科院分區：中科院分區是SCI期刊分區的一種，是由中國科學院國家科學圖書館制定出來的分區。主要有兩個版本，即基礎版和升級版。2019年中國科學院文獻情報中心期刊分區表推出了升級版，實現了基礎版和升級版的并存過渡；升級版是對基礎版的延續和改進，將期刊由基礎版的13個學科擴展至18個，科研評價將更加明確。
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 120 / 143 |
16.43%
|
JCR分區：JCR（Journal Citation Reports）由科睿唯安公司（前身為湯森路透）開發。JCR沒有設置大類,只將期刊分為176個具體學科，也就是中科院分區中的小類學科?；诓煌瑢W科的當年影響因子高低進行排序，將期刊的數量均勻分為四個部分，Q1區代表學科分類中影響因子排名前25%的期刊，以此類推，Q2區為前25%-50%期刊，Q3區為前50%-75%期刊，Q4區為75%以后期刊。
CiteScore排名：
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：Mathematics 小類：Theoretical Computer Science | Q3 | 92 / 130 |
29%
|
| 大類：Mathematics 小類：Hardware and Architecture | Q4 | 136 / 177 |
23%
|
| 大類：Mathematics 小類：Software | Q4 | 314 / 407 |
22%
|
CiteScore值計算方式：例如2024公布的CiteScore是將統計在 2020年-2023年間年所發表文章的引用次數除以在 2020年-2023年間所發表的發文總數。
CiteScore數據來源：是由全球著名學術出版商Elsevier（愛思唯爾）基于其Scopus數據庫推出的期刊評價指標。CiteScore指數以四年區間為基準來計算每本期刊的平均被引用次數，并提供期刊領域排名、期刊分區的相關信息，它的作用是測量期刊的篇均影響力。
近年中科院分區趨勢圖
近年IF值(影響因子)趨勢圖
影響因子：是美國科學信息研究所(ISI)的期刊引證報告(JCR)中的一項數據。指的是某一期刊的文章在特定年份或時期被引用的頻率，是衡量學術期刊影響力的一個重要指標。自1975年以來，每年定期發布于“期刊引證報告”(JCR)。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA RECHER... | 11 |
| COMMUNAUTE UNIVERSITE GRENOB... | 6 |
| UNIVERSITY OF CALIFORNIA SYS... | 6 |
| INRIA | 5 |
| AUSTRIAN INSTITUTE OF TECHNO... | 3 |
| ETH ZURICH | 3 |
| IMDEA SOFTWARE INST | 3 |
| MICROSOFT | 3 |
| NEW YORK UNIVERSITY | 3 |
| SORBONNE UNIVERSITE | 3 |
| 國家/地區 | 發文量 |
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
| 文章引用名稱 | 引用次數 |
| Monitoring hyperproperties | 3 |
| TeLEx: learning signal tempo... | 3 |
| A survey of challenges for r... | 2 |
| Probabilistic black-box reac... | 1 |
| Incrementally closing octago... | 1 |
| An improved algorithm for th... | 1 |
| Conditions of contracts for ... | 1 |
| Solving parity games via pri... | 1 |
| Validating numerical semidef... | 1 |
| Efficient verification of ra... | 1 |
| 被引用期刊名稱 | 數量 |
| FORM METHOD SYST DES | 21 |
| INT J SOFTW TOOLS TE | 18 |
| IEEE ACCESS | 10 |
| ACM T EMBED COMPUT S | 9 |
| FORM ASP COMPUT | 8 |
| ACM COMPUT SURV | 7 |
| AUTOMATICA | 7 |
| FUND INFORM | 7 |
| IEEE T COMPUT AID D | 7 |
| J AUTOM REASONING | 6 |
| 引用期刊名稱 | 數量 |
| FORM METHOD SYST DES | 21 |
| J ACM | 13 |
| COMMUN ACM | 11 |
| THEOR COMPUT SCI | 11 |
| INT J SOFTW TOOLS TE | 7 |
| ACM T PROGR LANG SYS | 6 |
| INFORM COMPUT | 6 |
| SCI COMPUT PROGRAM | 6 |
| MATH PROGRAM | 5 |
| ACTA INFORM | 4 |
1、建議稿件控制10頁以上，文章撰寫語言為英語；（單欄格式，單倍行距，內容10號字體，文稿類型包含：原創研究(Original Research)、案例報告(Case Report)、文獻綜述(Literature Review)等；文件格式包含word、PDF、LaTeX等。
2、稿件重復率控制10%以內，論文務必保證原創性、圖標、公式、引文等要素齊備，保證附屬資料的完整。已發表或引用過度的文章將不會被出版和檢索，禁止一稿多投，拒絕抄襲、機械性的稿件。
3、稿件必須有較好的英語表達水平，有圖，有表，有公式，有數據或設計，有算法（方案，模型），實驗，仿真等；參考文獻控制25條以上，參考文獻引用一半以上控制在近5年以內。
圖片和圖表要求：1、建議使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW壓縮。
2、文件大小最大不超過20MB，不要以單個文件的形式上傳數據。
3、彩色圖片的分辨率≥300dpi；黑白圖片的分辨率在≥500dpi；line art圖片類型的分辨率≥1000dpi；色彩模式建議采用RGB，除非期刊注明要CMYK。
4、線條不要細于0.25pt,也不能太粗，超過1.5pt,過細或過粗都影響美觀。
5、表格一般和manuscrript放置在一個word文檔里部分期刊 需要單獨上傳表格。
作者信息：1、包括作者姓名、最高學位，作者單位（精確到部門），郵箱，地址，郵編，關鍵詞，內容，總結，項目基金，參考文獻，作者相片+簡介（一定要確保作者信息準確無誤，提交稿件之后這部分不能再作改動）。
更多征稿細則請查閱雜志社征稿要求。本站專注期刊咨詢服務十年，確保SCI檢索，稿件信息安全保密，合乎學術規范不成功不收費，詳情請咨詢客服。
SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
若用戶需要出版服務，請聯系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。
中科院分區 4區
中科院分區 4區
中科院分區 4區
中科院分區 4區
中科院分區 4區
中科院分區 4區
中科院分區 4區
中科院分區 4區
