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》期刊已被查看： 次
此期刊被最新的JCR期刊SCIE收录
| 期刊官网：https://www.springer.com/journal/165 |
|---|
| 期刊投稿网址：https://www.editorialmanager.com/FAOC |
| PubMed Central (PMC)链接 ：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0934-5043%5BISSN%5D |
| 通讯地:SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013 |
| 中国科学院《国际期刊预警名单（试行）》名单 |
| 2024年02月发布的2024版：不在预警名单中 2023年01月发布的2023版：不在预警名单中 2021年12月发布的2021版：不在预警名单中 2020年12月发布的2020版：不在预警名单中 此期刊被最新的JCR期刊SCIE收录 |
| 版面费 | 审稿速度 | 收录数据库 | 是否oa | 研究方向 |
|---|---|---|---|---|
| >12周，或约稿 | SCIE,Scopus | No | 工程技术-计算机：软件工程 |
| 大类学科 | 分区 | 小类学科 | Top期刊 | 综述期刊 |
|---|---|---|---|---|
| 计算机科学 | 4区 | COMPUTER SCIENCE SOFTWARE ENGINEERING 计算机：软件工程 |
否 | 否 |
| 版本 | 按学科 | 分区 | 影响因子 |
|---|---|---|---|
| 2023-2024年最新版 | COMPUTER SCIENCE SOFTWARE ENGINEERING |
Q3 | 1.4 |
Journal of Inclusive Postsecondary EducationJCR:0区,分类：影响因子0收录DOAJ
详情
StichprobenJCR:0区,分类：影响因子0收录DOAJ
详情
EManagementJCR:0区,分类：影响因子0收录DOAJ
详情
Metathesis Journal of English Language Literature and TeachingJCR:0区,分类：影响因子0收录DOAJ
详情
Clinical Psychology in EuropeJCR:0区,分类：影响因子0收录Scopus,DOAJ
详情
Ius InkarriJCR:0区,分类：影响因子0收录DOAJ
详情
Medichna nauka UkrayiniJCR:0区,分类：影响因子0收录DOAJ
详情
Economics LawJCR:0区,分类：影响因子0收录DOAJ
详情