《Formal Aspects Of Computing》是一本由SPRINGER出版商出版的专业工程技术期刊，该刊创刊于1989年，刊期Quarterly，该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：工程技术 4区，小类学科：计算机：软件工程 4区；在JCR（Journal Citation Reports）分区等级为Q4。该刊发文范围涵盖计算机：软件工程等领域，旨在及时、准确、全面地报道国内外计算机：软件工程工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等，促进学术交流，鼓励学术创新。2021年影响因子为0.886，平均审稿速度>12周，或约稿。

Formal Aspects Of Computing英文介绍

This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

In particular, the scope of Formal Aspects of Computing includes:

well-founded notations for the description of systems;

verifiable design methods;

elucidation of fundamental computational concepts;

approaches to fault-tolerant design;

theorem-proving support;

state-exploration tools;

formal underpinning of widely used notations and methods;

formal approaches to requirements analysis.

Formal Aspects Of Computing中科院分区

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	4区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	3区	否	否

Formal Aspects Of Computing期刊近9年JCR分区变化趋势

Formal Aspects Of ComputingJCR分区(JCR2021-2022年分区)

JCR分区等级	JCR所属学科	分区	影响因子
Q4	COMPUTER SCIENCE, SOFTWARE ENGINEERING	Q4	0.886

Formal Aspects Of Computing期刊近7年影响因子变化趋势

Formal Aspects Of Computing期刊的CiteScore值(CiteScore2021-2022年CiteScore值)

CiteScore	SJR	SNIP	学科类别	分区	排名	百分位
2.60	0.508	1.191	大类：Mathematics 小类：Theoretical Computer Science	Q3	65 / 123	47%
2.60	0.508	1.191	大类：Mathematics 小类：Software	Q3	250 / 398	37%

Formal Aspects Of Computing期刊近7年自引率变化趋势

上周TOP10