Formal Methods In System Design
簡稱：FORM METHOD SYST DES
ISSN：0925-9856
ESSN：0925-9856
研究方向：工程技術(shù) - 計(jì)算機(jī)：理論方法
所屬分區(qū)：4區(qū)
出版地：UNITED STATES
出版周期：Bimonthly
創(chuàng)刊時(shí)間：1992
Formal Methods In System Design英文簡介
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.
Formal Methods In System Design中文簡介
《Formal Methods In System Design》是一本由SPRINGER出版商出版的專業(yè)工程技術(shù)期刊，該刊創(chuàng)刊于1992年，刊期Bimonthly，該刊已被國際權(quán)威數(shù)據(jù)庫SCIE收錄。在中科院最新升級版分區(qū)表中，該刊分區(qū)信息為大類學(xué)科：工程技術(shù) 4區(qū)，小類學(xué)科：計(jì)算機(jī)：理論方法 4區(qū)；在JCR（Journal Citation Reports）分區(qū)等級為Q3。該刊發(fā)文范圍涵蓋計(jì)算機(jī)：理論方法等領(lǐng)域，旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外計(jì)算機(jī)：理論方法工作者在該領(lǐng)域取得的最新研究成果、工作進(jìn)展及學(xué)術(shù)動(dòng)態(tài)、技術(shù)革新等，促進(jìn)學(xué)術(shù)交流，鼓勵(lì)學(xué)術(shù)創(chuàng)新。2021年影響因子為1.1，平均審稿速度>12周，或約稿。
中科院分區(qū)最新升級版（當(dāng)前數(shù)據(jù)版本：2021年12月最新升級版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 3區(qū) | 否 | 否 |
中科院分區(qū)最新基礎(chǔ)版（當(dāng)前數(shù)據(jù)版本：2021年12月最新基礎(chǔ)版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 4區(qū) | 否 | 否 |
中科院JCR分區(qū)歷年趨勢圖
JCR分區(qū)（當(dāng)前數(shù)據(jù)版本：2021-2022年最新版）
| JCR分區(qū)等級 | JCR所屬學(xué)科 | 分區(qū) | 影響因子 |
| Q3 | COMPUTER SCIENCE, THEORY & METHODS | Q3 | 1.1 |
期刊指數(shù)
| 影響因子 | h-index | Gold OA文章占比 | 研究類文章占比 | OA開放訪問 | 平均審稿速度 |
| 1.1 | 47 | 37.04% | 100.00% | 未開放 | >12周，或約稿 |