Formal Aspects Of Computing杂志的刊号是多少？

《Formal Aspects Of Computing》国际标准刊号‌ISSN：0934-5043，电子期刊的国际标准刊号：1433-299X。

创刊时间：1989年
出版周期：Quarterly
出版语言：English
国际简称：FORM ASP COMPUT
研究方向：工程技术 - 计算机：软件工程

期刊定位与内容：

计算的形式方面(Formal Aspects Of Computing)是一本由Springer London出版的一本工程技术-计算机：软件工程学术刊物，主要报道工程技术-计算机：软件工程相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于1989年，出版周期Quarterly。

《计算的形式方面》发表专家撰写的简短易懂的评论，重点介绍计算机：软件工程的最新关键主题。每篇文章都是对该主题的最新、完整的总结，方便尚未深入研究的人阅读。

本期刊旨在发表理论与实践相结合的贡献。其目标是传播适用的研究。因此，如果新的理论贡献受到潜在应用的激励，则受到欢迎；如果现有形式主义的应用展示了方法或应用方面的新颖之处，则会引起人们的兴趣。

具体而言，计算形式方面的范围包括：

用于描述系统的完善符号；

可验证的设计方法；

基本计算概念的阐明；

容错设计方法；

定理证明支持；

状态探索工具；

广泛使用的符号和方法的形式基础；

需求分析的形式化方法。

出版周期与发文量：

该杂志出版周期Quarterly，近年来，该期刊的年发文量约为21篇。

学术影响力：

2021-2022年最新版WOS分区等级：Q3，2023年发布的影响因子为1.4，CiteScore指数3.3，SJR指数0.518。本刊非开放获取期刊。