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區	否	否

中科院分區最新基礎版（當前數據版本：2021年12月最新基礎版）

大類學科	分區	小類學科	分區	Top期刊	綜述期刊
工程技術	4區	COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程	4區	否	否

中科院JCR分區歷年趨勢圖

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值(影響因子)趨勢圖