57期刊
搜索

期刊导航 杂志订阅 SCI期刊 SCI发表 期刊服务 文秘服务 出版社 关于我们 登录/注册 购物车(0)

首页 > SCI期刊> 系统设计中的形式化方法

Formal Methods In System Design

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

Formal Methods In System Design

>12周，或约稿审稿时间

4区中科院分区

Q3JCR分区

1.1影响因子

0925-9856

1572-8102

FORM METHOD SYST DES

UNITED STATES

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

否

1992

47

Bimonthly

English

12

投稿咨询 加急服务

期刊简介

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

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

中科院分区信息

系统设计中的形式化方法2021年12月最新升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 3区 否 否
系统设计中的形式化方法2021年12月最新基础版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 4区 否 否
系统设计中的形式化方法2020年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 3区 否 否
名词解释：

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

期刊数据统计

1、Cite Score
学科类别 分区 排名 百分位
大类：Mathematics 小类：Theoretical Computer Science Q2 59 / 123
52%
大类：Mathematics 小类：Hardware and Architecture Q3 102 / 167
39%
大类：Mathematics 小类：Software Q3 244 / 398
38%
名词解释：

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

相关期刊

上一本  Rofo-fortschritte Auf Dem Gebiet Der Rontgenstrahlen Und Der Bildgebenden Verfah
下一本  Siam Journal On Optimization

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

免责声明

本站合法持有《出版物经营许可证》，主要从事期刊零售和咨询服务，不是任何杂志官网，不涉及任何出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。本站提供的期刊信息均来源于国家新闻出版总署及网络，仅供参考，提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关。若用户需要出版服务，请联系出版商。

飞雁卡 新好卡
春晓卡 宽带卡
57期刊

（微信）15689037256

(客服工作时间：8:00-24:00)

点击在线咨询

公司介绍

获得荣誉

版权问题

许可证件

期刊服务

服务流程

服务特色

保障条款

常见问题

文秘服务

服务介绍

服务流程

常见问题

杂志订阅

会员中心

订阅流程

发货时间

配送范围

常见问题

本站合法持有《出版物经营许可证》，主要从事期刊零售和咨询服务，不是任何杂志官网，不涉及任何出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。本站提供的期刊信息均来源于国家新闻出版总署及网络，仅供参考，提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关。若用户需要出版服务，请联系出版商。
工信部备案：鲁ICP备17016571号

客服在线，微信扫码咨询