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ū)信息為大類學(xué)科：工程技術(shù) 4區(qū)，小類學(xué)科：計算機(jī)：軟件工程 4區(qū)；在JCR（Journal Citation Reports）分區(qū)等級為Q4。該刊發(fā)文范圍涵蓋計算機(jī)：軟件工程等領(lǐng)域，旨在及時、準(zhǔn)確、全面地報道國內(nèi)外計算機(jī)：軟件工程工作者在該領(lǐng)域取得的最新研究成果、工作進(jìn)展及學(xué)術(shù)動態(tài)、技術(shù)革新等，促進(jìn)學(xué)術(shù)交流，鼓勵學(xué)術(shù)創(chuàng)新。2021年影響因子為0.886，平均審稿速度>12周，或約稿。

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

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

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

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

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

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

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

期刊指數(shù)

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

IF值(影響因子)趨勢圖