期刊在线咨询服务, 立即咨询
Formal Methods In System Design
  • ISSN:0925-9856

  • E-ISSN:1572-8102

  • H-index指数:47

  • 文章自引率:0.12...

  • 影响因子:0.7

  • 年发文量:34

  • 研究类文章占比:100.00%

  • 开源占比:0.41...

  • OA被引用占比:0.52...

系统设计中的形式化方法 SCIE

Formal Methods In System Design

  • 国际简称:FORM METHOD SYST DES

  • 出版周期:Bimonthly

  • 研究方向:工程技术 - 计算机:理论方法

  • 出版语言:English

  • 创刊时间:1992

  • 是否预警:

  • 出版地区:UNITED STATES

  • 是否 OA:未开放

期刊介绍

《Formal Methods In System Design》(《系统设计中的形式化方法》)是一本由Springer US出版的工程技术-计算机:理论方法学术刊物,主要刊载工程技术-计算机:理论方法相关领域研究成果与实践,旨在打造一种学术水平高、可读性强、具有全球影响力的学术期刊。本刊已入选SCIE来源期刊。该刊创刊于1992年,出版周期Bimonthly。2023年发布的影响因子为0.7。

服务流程:

期刊简介

Magazine introduction

系统设计中的形式化方法(Formal Methods In System Design)在中科院分区中位于4区,JCR分区位于Q3。审稿速度一般为 12周,或约稿 ,且近两年没有被列入国际预警名单,您可以放心投稿。如果您需要投稿指导,可在线咨询我们的客服老师,我们将竭诚为您服务。

本期刊的重点是设计、实施和验证硬件(VLSI)和软件系统正确性的形式化方法。以此为目标创办期刊的动机来自学术界和工业界。在这两个领域,人们对使用形式化方法的兴趣在过去几年中迅速增加。验证新设计所需的巨大成本和时间使人们意识到必须开发更强大的技术。目前正在设计许多技术和工具来提高复杂硬件和软件系统的可靠性和稳健性。虽然系统中硬件、固件或软件的(子)组件之间的界限继续模糊,但相关的设计学科和形式化方法正在迅速成熟。因此,预计将出现一个重要(且有用)的常用形式化方法集合,这将对未来的设计环境和设计方法产生重大影响。

中科院SCI分区

Magazine introduction

2023年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 4区

2022年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 3区

2021年12月旧的升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 3区

2021年12月基础版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 4区

2021年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 3区

2020年12月旧的升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 3区

分区表升级版:旨在解决期刊学科体系划分与学科发展以及融合趋势的不相容问题。升级版有如下优势:一是论文层级的主题体系既能体现学科交叉特点,又可以精准揭示期刊载文的多学科性;二是采用“期刊超越指数”替代影响因子指标,解决了影响因子数学性质缺陷对评价结果的干扰。整体而言,分区表升级版(试行)突破了期刊评价中学科体系构建、评价指标选择等瓶颈问题,能够更为全面地揭示学术期刊的影响力,为科研评价“去四唯”提供解决思路。相关研究成果经过国际同行的认可,已经发表在科学计量学领域国际重要期刊。

JCR 分区

Magazine introduction(2023-2024年最新版)

按JIF指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143

27.6%

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q4 120 / 143

16.43%

JCR:JCR没有设置大类,只分为176个具体学科,按当期(1年)的影响因子进行分区;JCR是按照“平均主义”思想,根据刊物IF的高至低平均划分4个区,每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构,1区只有5%的顶级期刊,2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少,杂志质量相对也高,基本都是本领域的顶级期刊。

统计数据

Magazine introduction

影响因子历年变化趋势

CiteScore历年变化趋势

中科院JCR分区历年变化趋势

引文指标和发文量历年变化趋势

自引数据历年变化趋势

影响因子:表示一种杂志的被引用频率,是国际上通用的期刊评价指标,它不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

CiteScore:是影响因子最强有力的竞争者,是衡量期刊影响力的一个指标,由爱思维尔于2020年发布,旨在让人们更细致地了解影响力对研究和期刊的意义。

CiteScore(2024年最新版)

CiteScore SJR SNIP CiteScore 指数
2 0.4 0.666
学科类别 分区 排名 百分位
大类:Mathematics 小类:Theoretical Computer Science Q3 92 / 130

29%

大类:Mathematics 小类:Hardware and Architecture Q4 136 / 177

23%

大类:Mathematics 小类:Software Q4 314 / 407

22%

TOP期刊

常见问题

Magazine introduction

Formal Methods In System Design

系统设计中的形式化方法定制服务方案,SCI检索

免责声明

Magazine introduction

若用户需要出版服务,请联系出版商,地址:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。