系统设计中的形式化方法(Formal Methods In System Design)是一本由Springer US出版的一本工程技术-计算机：理论方法学术刊物，主要报道工程技术-计算机：理论方法相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于1992年，出版周期Bimonthly。2021-2022年最新版WOS分区等级：Q3，2023年发布的影响因子为0.7，CiteScore指数2，SJR指数0.4。本刊非开放获取期刊。
本期刊的重点是设计、实施和验证硬件（VLSI）和软件系统正确性的形式化方法。以此为目标创办期刊的动机来自学术界和工业界。在这两个领域，人们对使用形式化方法的兴趣在过去几年中迅速增加。验证新设计所需的巨大成本和时间使人们意识到必须开发更强大的技术。目前正在设计许多技术和工具来提高复杂硬件和软件系统的可靠性和稳健性。虽然系统中硬件、固件或软件的（子）组件之间的界限继续模糊，但相关的设计学科和形式化方法正在迅速成熟。因此，预计将出现一个重要（且有用）的常用形式化方法集合，这将对未来的设计环境和设计方法产生重大影响。
| 大类学科 | 分区 | 小类学科 | 分区 | 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区 | 否 | 否 |
中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 120 / 143 |
16.43%
|
汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Mathematics 小类：Theoretical Computer Science | Q3 | 92 / 130 |
29%
|
| 大类：Mathematics 小类：Hardware and Architecture | Q4 | 136 / 177 |
23%
|
| 大类：Mathematics 小类：Software | Q4 | 314 / 407 |
22%
|
CiteScore：该指标由Elsevier于2016年提出，指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是：例如，某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数，除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。
| 期刊名称 | 引用次数 |
| 期刊名称 | 引用次数 |
中科院分区 2区 JCR分区 Q1
查看详情
中科院分区 2区 JCR分区 Q1
查看详情
中科院分区 3区 JCR分区 Q1
查看详情
中科院分区 3区 JCR分区 Q2
查看详情
中科院分区 2区 JCR分区 Q1
查看详情
中科院分区 1区 JCR分区 Q1
查看详情本站合法持有《出版物经营许可证》，仅销售经国家新闻出版署批准的合法期刊，不是任何杂志官网，不涉及出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关，若期刊信息有任何问题，请联系在线客服，我们会认真核实处理。 若用户需要出版服务，请联系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。