《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。本刊非開放獲取期刊。
Cite Score（2024年最新版）
- CiteScore：3.3
- SJR：0.518
- SNIP：1.091
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：Mathematics 小類：Theoretical Computer Science | Q2 | 57 / 130 |
56%
|
| 大類：Mathematics 小類：Software | Q3 | 246 / 407 |
39%
|
CiteScore：該指標由Elsevier于2016年提出，指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數，除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。
投稿咨詢聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。
