Formal Aspects Of Computing

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中文简介

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

中科院分区最新升级版（当前数据版本：2021年12月最新升级版）

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

JCR分区（当前数据版本：2021-2022年最新版）

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

期刊指数

影响因子	h-index	Gold OA文章占比	研究类文章占比	OA开放访问	平均审稿速度
0.886	36	35.90%	100.00%	未开放	>12周，或约稿

IF值(影响因子)趋势图