《Formal Aspects Of Computing》杂志影响因子：1.1。
期刊Formal Aspects Of Computing近年评价数据趋势图
期刊影响因子趋势图
以下是一些常见的影响因子查询入口：
（1）Web of Science：是查询SCI期刊影响因子的权威平台，收录全球高质量学术期刊，提供详细的期刊引证报告，包括影响因子、分区、被引频次等关键指标。
（2）Journal Citation Reports (JCR)：JCR是科睿唯安旗下的一个网站，提供了期刊影响因子、引用数据和相关指标。用户可以在该网站上查找特定期刊的影响因子信息。
（3）中科院SCI期刊分区表：提供中科院分区的期刊数据查询，包括影响因子和分区信息。
《Formal Aspects Of Computing》杂志是由Springer London出版社主办的一本以工程技术-计算机：软件工程为研究方向，OA非开放（Not Open Access）的国际优秀期刊。
该杂志出版语言为English，创刊于1989年。自创刊以来，已被SCI（科学引文索引）、SCIE（科学引文索引扩展版）等国内外知名检索系统收录。该杂志发表了高质量的论文，重点介绍了计算机软件工程在分析和实践中的理论、研究和应用。
学术地位：在JCR分区中位列Q4区，中科院分区为计算机科学大类4区，COMPUTER SCIENCE, SOFTWARE ENGINEERING计算机：软件工程小类4区。
期刊发文分析
机构发文量统计
| 机构 | 发文量 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQ... | 9 |
| UNIVERSITE PARIS SACLAY | 7 |
| EAST CHINA NORMAL UNIVERSITY | 5 |
| INRIA | 5 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| CEA | 3 |
| INSTITUT POLYTECHNIQUE DE PARIS | 3 |
| MASSACHUSETTS INSTITUTE OF TECHNOLOGY (MIT... | 3 |
| NATIONAL AERONAUTICS & SPACE ADMINISTRATIO... | 3 |
| NEWCASTLE UNIVERSITY - UK | 3 |
国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
| USA | 21 |
| England | 16 |
| GERMANY (FED REP GER) | 16 |
| CHINA MAINLAND | 14 |
| France | 14 |
| Italy | 9 |
| Canada | 7 |
| Denmark | 5 |
| Australia | 4 |
| Netherlands | 4 |
期刊引用数据次数统计
| 期刊引用数据 | 引用次数 |
| THEOR COMPUT SCI | 35 |
| ACM T PROGR LANG SYS | 31 |
| SCI COMPUT PROGRAM | 23 |
| INFORM COMPUT | 20 |
| ACTA INFORM | 18 |
| COMMUN ACM | 18 |
| FORM ASP COMPUT | 17 |
| IEEE T SOFTWARE ENG | 11 |
| MATH STRUCT COMP SCI | 11 |
| J ACM | 9 |
期刊被引用数据次数统计
| 期刊被引用数据 | 引用次数 |
| J LOG ALGEBR METHODS | 18 |
| FORM ASP COMPUT | 17 |
| SCI COMPUT PROGRAM | 15 |
| ACM T SOFTW ENG METH | 14 |
| IEEE ACCESS | 13 |
| SOFTW SYST MODEL | 11 |
| FUND INFORM | 7 |
| INT J SOFTW TOOLS TE | 6 |
| SOFTWARE QUAL J | 6 |
| THEOR COMPUT SCI | 6 |
文章引用数据次数统计
| 文章引用数据 | 引用次数 |
| Variability-based model transformation: fo... | 4 |
| A formal approach for detection of securit... | 2 |
| A UTP approach for rTiMo | 2 |
| Toward automatic verification of quantum p... | 2 |
| Multiple model synchronization with multia... | 2 |
| Alternative shaper: a model for automatic ... | 2 |
| Finding suitable variability abstractions ... | 2 |
| A synchronous program algebra: a basis for... | 1 |
| Battery-aware scheduling in low orbit: the... | 1 |
| ProFeat: feature-oriented engineering for ... | 1 |
