好投稿
搜索

期刊大全 杂志订阅 SCI期刊 投稿指导 期刊服务 文秘服务 出版社 登录/注册 购物车(0)

首页 > SCI期刊 > 计算机科学 > 中科院4区 > JCRQ3 > 期刊介绍
Formal Methods In System Design

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

Formal Methods In System Design

12周，或约稿 审稿时间

4区中科院分区

Q3JCR分区

0.7影响因子

0925-9856

1572-8102

FORM METHOD SYST DES

UNITED STATES

工程技术 - 计算机：理论方法

否

1992

47

Bimonthly

English

34

0.12...

投稿咨询 加急服务

期刊简介

系统设计中的形式化方法(Formal Methods In System Design)是一本由Springer US出版的一本工程技术-计算机：理论方法学术刊物，主要报道工程技术-计算机：理论方法相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于1992年，出版周期Bimonthly。2021-2022年最新版WOS分区等级：Q3，2023年发布的影响因子为0.7，CiteScore指数2，SJR指数0.4。本刊非开放获取期刊。

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

中科院分区信息

系统设计中的形式化方法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期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。

JCR分区信息

Formal Methods In System Design（2023-2024年最新版数据）
按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，最终每个分区的期刊数量是均分的。

期刊数据统计

1、Cite Score（2024年最新版）
学科类别 分区 排名 百分位
大类：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、综合数据
3、本刊综合数据对比及走势

文章引用数据

文章名称 引用次数
  • Monitoring hyperproperties

    3
  • TeLEx: learning signal temporal logic fr...

    3
  • A survey of challenges for runtime verif...

    2
  • Probabilistic black-box reachability che...

    1
  • Incrementally closing octagons

    1
  • An improved algorithm for the control sy...

    1
  • Conditions of contracts for separating r...

    1
  • Solving parity games via priority promot...

    1
  • Validating numerical semidefinite progra...

    1
  • Efficient verification of railway infras...

    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

国家/地区发文数据

国家/地区名 数量
  • 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 RECHERCHE SCIENTIF...

    11
  • COMMUNAUTE UNIVERSITE GRENOBLE ALPES

    6
  • UNIVERSITY OF CALIFORNIA SYSTEM

    6
  • INRIA

    5
  • AUSTRIAN INSTITUTE OF TECHNOLOGY (AIT)

    3
  • ETH ZURICH

    3
  • IMDEA SOFTWARE INST

    3
  • MICROSOFT

    3
  • NEW YORK UNIVERSITY

    3
  • SORBONNE UNIVERSITE

    3

相关期刊

上一本  Formal Aspects Of Computing
下一本  Forschung Im Ingenieurwesen-engineering Research

SCI期刊导航

大类学科：

医学 工程技术 生物学 农林科学 环境科学与生态学 化学 数学 综合性期刊 物理与天体物理 社会学 地球科学 材料科学 计算机科学 经济学 心理学 教育学 哲学 历史学 文学 艺术学

影响因子：

0-1 1-2 2-3 3-4 4-5 5-6 6-7 7-8 9以上

中科院分区：

1区 2区 3区 4区

JCR分区：

Q1 Q2 Q3 Q4

免责声明

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