Formal Methods In System Design
系统设计中的形式化方法
研究方向：工程技术
出版国家或地区：UNITED STATES
ISSN刊号：0925-9856
E-ISSN刊号：1572-8102
基本信息
大类学科：计算机科学
小类学科：COMPUTER SCIENCE, THEORY & METHODS
出版周期：Bimonthly
出版年份：1992
出版语言：English
出版国家和地区：UNITED STATES
是否预警：否
出版商：Springer US
通讯方式：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
快捷分类
期刊简介
《Formal Methods In System Design》（中文名称：系统设计中的形式化方法）是一本在工程技术 - 计算机：理论方法领域享有盛誉的学术期刊，由Springer US出版商出版。该期刊自1992年创刊以来，已被国际知名数据库SCIE（科学引文索引扩展版）收录，确保了其研究成果的全球可见性和学术影响力。
在中科院SCI期刊分区中，系统设计中的形式化方法被归类为计算机科学类4区，显示了其在该领域的卓越地位和高度认可。在Web of Science的期刊引用报告（JCR）中，系统设计中的形式化方法同样表现出色，其工程技术 - 计算机：理论方法领域位于Q3区，进一步证明了其在计算机科学领域的领先地位。该期刊的最新影响因子为0.7，CiteScore指数为2，SJR指数为0.4，SNIP指数为0.666，这些指标均体现了期刊的学术影响力。该期刊的平均审稿周期约为 12周，或约稿 。
综上所述，《Formal Methods In System Design》作为一本在工程技术 - 计算机：理论方法领域具有重要影响力的学术期刊，凭借其高质量的论文发表、广泛的学术认可，成为了科研人员投稿和学术交流的重要平台之一。
期刊收录
期刊数据
- 影响因子：0.7
- H-index指数：47
- 文章自引率：0.125
- Gold OA文章占比：46.75%
- 研究类文章占比：100.00%
历年影响因子
| 2016年 | 2017年 | 2018年 | 2019年 | 2020年 | 2021年 | 2022年 | 2023年 |
|---|---|---|---|---|---|---|---|
| 1 | 0.825 | 0.787 | 0.673 | 0.442 | 1.1 | 0.8 | 0.7 |
历年CiteScore
| 2016年 | 2017年 | 2018年 | 2019年 | 2020年 | 2021年 | 2022年 | 2023年 |
|---|---|---|---|---|---|---|---|
| 4.2 | 2.8 | 3 | 4 | 4.5 | 2.8 | 3 | 2 |
CiteScore（2024年最新版）
- CiteScore：2
- SJR：0.4
- SNIP：0.666
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Mathematics 小类：Theoretical Computer Science | Q3 | 92 / 130 |
29% |
| 大类：Mathematics 小类：Hardware and Architecture | Q4 | 136 / 177 |
23% |
| 大类：Mathematics 小类：Software | Q4 | 314 / 407 |
22% |
中科院SCI分区表
中科院 SCI期刊分区 (2023年12月升级版)
Top期刊：否 综述期刊：否
| 大类学科 | 小类学科 | ||
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 4区 |
中科院 SCI期刊分区 (2022年12月升级版)
Top期刊：否 综述期刊：否
| 大类学科 | 小类学科 | ||
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 3区 |
中科院 SCI期刊分区 (2021年12月旧的升级版)
Top期刊：否 综述期刊：否
| 大类学科 | 小类学科 | ||
| 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 3区 |
WOS期刊JCR分区（2023-2024年最新版）
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 120 / 143 |
16.43% |
中科院SCI期刊分区大类分区趋势图
期刊自引率趋势图
近年国家和机构发文统计
| 国家/地区 | 数量 |
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
| 发文机构 | 数量 |
| 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 |
相关期刊
International Journal Of Automation And Computing
Ieee Transactions On Computational Social Systems
Visual Informatics
Ieee Transactions On Green Communications And Networking
Journal Of Intelligent & Fuzzy Systems
Visual Computing For Industry, Biomedicine, And Art
Big Data Mining And Analytics
Cybersecurity
Ieee Transactions On Emerging Topics In Computational Intelligence
Ieee Transactions On Sustainable Computing