好投稿
搜索

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

首页 > SCI期刊 > 计算机科学 > 中科院4区 > JCRQ3 > 期刊介绍
Formal Aspects Of Computing

计算的形式方面 SCIE

Formal Aspects Of Computing

12周，或约稿 审稿时间

4区中科院分区

Q3JCR分区

1.4影响因子

0934-5043

1433-299X

FORM ASP COMPUT

UNITED STATES

工程技术 - 计算机：软件工程

否

1989

36

Quarterly

English

21

--

投稿咨询 加急服务

期刊简介

计算的形式方面(Formal Aspects Of Computing)是一本由Springer London出版的一本工程技术-计算机：软件工程学术刊物，主要报道工程技术-计算机：软件工程相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于1989年，出版周期Quarterly。2021-2022年最新版WOS分区等级：Q3，2023年发布的影响因子为1.4，CiteScore指数3.3，SJR指数0.518。本刊非开放获取期刊。

本期刊旨在发表理论与实践相结合的贡献。其目标是传播适用的研究。因此，如果新的理论贡献受到潜在应用的激励，则受到欢迎；如果现有形式主义的应用展示了方法或应用方面的新颖之处，则会引起人们的兴趣。

具体而言，计算形式方面的范围包括：

用于描述系统的完善符号；

可验证的设计方法；

基本计算概念的阐明；

容错设计方法；

定理证明支持；

状态探索工具；

广泛使用的符号和方法的形式基础；

需求分析的形式化方法。

中科院分区信息

计算的形式方面2023年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 4区 否 否
计算的形式方面2022年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 3区 否 否
计算的形式方面2021年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 3区 否 否
计算的形式方面2021年12月基础版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 4区 否 否
计算的形式方面2021年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 3区 否 否
计算的形式方面2020年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 4区 否 否
名词解释：

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

JCR分区信息

Formal Aspects Of Computing（2023-2024年最新版数据）
按JIF指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q3 88 / 131
33.2%
按JCI指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 99 / 131
24.81%
名词解释：

汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。

期刊数据统计

1、Cite Score（2024年最新版）
学科类别 分区 排名 百分位
大类：Mathematics 小类：Theoretical Computer Science Q2 57 / 130
56%
大类：Mathematics 小类：Software Q3 246 / 407
39%
名词解释：

CiteScore：该指标由Elsevier于2016年提出，指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是：例如，某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数，除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。

2、综合数据
3、本刊综合数据对比及走势

文章引用数据

文章名称 引用次数
  • Variability-based model transformation: ...

    4
  • A formal approach for detection of secur...

    2
  • A UTP approach for rTiMo

    2
  • Toward automatic verification of quantum...

    2
  • Multiple model synchronization with mult...

    2
  • Alternative shaper: a model for automati...

    2
  • Finding suitable variability abstraction...

    2
  • A synchronous program algebra: a basis f...

    1
  • Battery-aware scheduling in low orbit: t...

    1
  • ProFeat: feature-oriented engineering fo...

    1

期刊被引用数据

期刊名称 引用次数
  • J LOG ALGEBR METHODS

    18
  • FORM ASP COMPUT

    17
  • SCI COMPUT PROGRAM

    15
  • ACM T SOFTW ENG METH

    14
  • IEEE ACCESS

    13
  • SOFTW SYST MODEL

    11
  • FUND INFORM

    7
  • INT J SOFTW TOOLS TE

    6
  • SOFTWARE QUAL J

    6
  • THEOR COMPUT SCI

    6

期刊引用数据

期刊名称 引用次数
  • THEOR COMPUT SCI

    35
  • ACM T PROGR LANG SYS

    31
  • SCI COMPUT PROGRAM

    23
  • INFORM COMPUT

    20
  • ACTA INFORM

    18
  • COMMUN ACM

    18
  • FORM ASP COMPUT

    17
  • IEEE T SOFTWARE ENG

    11
  • MATH STRUCT COMP SCI

    11
  • J ACM

    9

国家/地区发文数据

国家/地区名 数量
  • USA

    21
  • England

    16
  • GERMANY (FED REP GER)

    16
  • CHINA MAINLAND

    14
  • France

    14
  • Italy

    9
  • Canada

    7
  • Denmark

    5
  • Australia

    4
  • Netherlands

    4

机构发文数据

机构名 数量
  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIF...

    9
  • UNIVERSITE PARIS SACLAY

    7
  • EAST CHINA NORMAL UNIVERSITY

    5
  • INRIA

    5
  • CHINESE ACADEMY OF SCIENCES

    4
  • CEA

    3
  • INSTITUT POLYTECHNIQUE DE PARIS

    3
  • MASSACHUSETTS INSTITUTE OF TECHNOLOGY (M...

    3
  • NATIONAL AERONAUTICS & SPACE ADMINISTRAT...

    3
  • NEWCASTLE UNIVERSITY - UK

    3

相关期刊

上一本  Forestry Chronicle
下一本  Formal Methods In System Design

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, 233 SPRING ST, NEW YORK, USA, NY, 10013。