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.
该期刊旨在在理论与实践的结合上发表投稿。目的是传播适用的研究。因此，如果新的理论贡献受到潜在应用的推动，则值得欢迎; 如果现有形式主义的应用显示出有关方法或应用的新颖之处，则值得关注。
特别是，计算的形式方面的范围包括:
系统描述的有根据的符号; 可验证的设计方法; 基本计算概念的阐明; 容错设计方法; 定理证明支持; 状态探索工具;
广泛使用的符号和方法的正式基础; 需求分析的正式方法。
|
期刊ISSN
|
0934-5043 |
|
影响指数
|
0.621 |
|
最新CiteScore值
|
3.00 查看CiteScore评价数据 |
|
最新自引率
|
12.40% |
|
官方指定润色网址
|
https://www.deeredit.com/?type=ss1 |
|
投稿语言要求
|
Improve the quality of the paper, eliminate grammar and spelling errors, increase readability, ensure accurate communication of viewpoints, enhance academic reputation, and increase the chances of the paper being accepted. 建议点击这个网址：https://www.deeredit.com/?type=ss2，资深审稿专家为您评估稿件质量，提供针对性改进建议，最终可助您极大提升目标期刊录用率 |
|
期刊官方网址
hot |
https://www.peipusci.com/?type=9 |
|
杂志社征稿网址
hot |
https://www.peipusci.com/?type=10 |
|
通讯地址
|
SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013 |
|
偏重的研究方向（学科）
|
工程技术-计算机：软件工程 |
|
出版周期
|
Quarterly |
|
出版年份
|
1989 |
|
出版国家/地区
|
UNITED STATES |
|
是否OA
|
No |
|
SCI期刊coverage
|
Science Citation Index Expanded（科学引文索引扩展） |
|
NCBI查询
|
PubMed Central (PMC)链接 全文检索(pubmed central) |
|
最新中科院JCR分区
|
大类(学科)
小类(学科)
综述期刊
工程技术
COMPUTER SCIENCE, SOFTWARE ENGINEERING(计算机：软件工程)4区
否
|
|||||
|
最新的影响因子
|
0.621 | |||||
| 最新公布的期刊年发文量 |
|
|||||
| 总被引频次 | 36 | |||||
| 影响因子趋势图 |
近年的影响因子趋势图（整体平稳趋势）
|
|||||
2022年预警名单预测最新
|
最新CiteScore值
|
3.00
|
||||||||||||||
| 年文章数 | 19 | ||||||||||||||
|
SJR
|
0.366 | ||||||||||||||
|
SNIP
|
0.829 | ||||||||||||||
|
CiteScore排名
|
|
||||||||||||||
| CiteScore趋势图 |
CiteScore趋势图
|
||||||||||||||
|
本刊同领域相关期刊
|
|
| 期刊名称 | IF值 |
| Journal of Web Semantics | 1.878 |
| IEEE Transactions on Computational Intelligence and AI in Games | 1.494 |
| SIGMOD RECORD | 0.767 |
| IEEE SECURITY & PRIVACY | 3.537 |
| REQUIREMENTS ENGINEERING | 2.25 |
| ACM Transactions on the Web | 2.023 |
| JOURNAL OF DATABASE MANAGEMENT | 1.221 |
| INFORMATION AND SOFTWARE TECHNOLOGY | 2.703 |
| ACM TRANSACTIONS ON DATABASE SYSTEMS | 1.075 |
|
本刊同分区等级的相关期刊
|
|
| 期刊名称 | IF值 |
| IEEE Transactions on Computational Intelligence and AI in Games | 1.494 |
| SIGMOD RECORD | 0.767 |
| IEEE SECURITY & PRIVACY | 3.537 |
| ACM Transactions on the Web | 2.023 |
| JOURNAL OF DATABASE MANAGEMENT | 1.221 |
| ACM TRANSACTIONS ON DATABASE SYSTEMS | 1.075 |
| ACM Transactions on Internet Technology | 3.104 |
| Computer Science and Information Systems | 1.155 |
| IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 0.553 |
| 分享者 | 点评内容 |
