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出版商出版的專業(yè)工程技術(shù)期刊，該刊創(chuàng)刊于1989年，刊期Quarterly，該刊已被國際權(quán)威數(shù)據(jù)庫SCIE收錄。在中科院最新升級版分區(qū)表中，該刊分區(qū)信息為大類學科：工程技術(shù) 4區(qū)，小類學科：計算機：軟件工程 4區(qū)；在JCR（Journal Citation Reports）分區(qū)等級為Q4。該刊發(fā)文范圍涵蓋計算機：軟件工程等領域，旨在及時、準確、全面地報道國內(nèi)外計算機：軟件工程工作者在該領域取得的最新研究成果、工作進展及學術(shù)動態(tài)、技術(shù)革新等，促進學術(shù)交流，鼓勵學術(shù)創(chuàng)新。2021年影響因子為0.886，平均審稿速度>12周，或約稿。

中科院分區(qū)最新升級版（當前數(shù)據(jù)版本：2021年12月最新升級版）

大類學科	分區(qū)	小類學科	分區(qū)	Top期刊	綜述期刊
計算機科學	4區(qū)	COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程	3區(qū)	否	否

中科院分區(qū)最新基礎版（當前數(shù)據(jù)版本：2021年12月最新基礎版）

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

中科院JCR分區(qū)歷年趨勢圖

JCR分區(qū)（當前數(shù)據(jù)版本：2021-2022年最新版）

JCR分區(qū)等級	JCR所屬學科	分區(qū)	影響因子
Q4	COMPUTER SCIENCE, SOFTWARE ENGINEERING	Q4	0.886

期刊指數(shù)

影響因子	h-index	Gold OA文章占比	研究類文章占比	OA開放訪問	平均審稿速度
0.886	36	35.90%	100.00%	未開放	>12周，或約稿

IF值(影響因子)趨勢圖