《Formal Aspects Of Computing》國際標(biāo)準(zhǔn)刊號?ISSN：0934-5043，電子期刊的國際標(biāo)準(zhǔn)刊號：1433-299X。
創(chuàng)刊時間：1989年
出版周期：Quarterly
出版語言：English
國際簡稱：FORM ASP COMPUT
研究方向：工程技術(shù) - 計算機(jī)：軟件工程
期刊定位與內(nèi)容：
計算的形式方面(Formal Aspects Of Computing)是一本由Springer London出版的學(xué)術(shù)刊物，主要報道工程技術(shù)-計算機(jī)：軟件工程相關(guān)領(lǐng)域研究成果與實踐。本刊已入選來源期刊，該刊創(chuàng)刊于1989年，出版周期Quarterly。
《計算的形式方面》發(fā)表專家撰寫的簡短易懂的評論，重點介紹計算機(jī)：軟件工程的最新關(guān)鍵主題。每篇文章都是對該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。
本期刊旨在發(fā)表理論與實踐相結(jié)合的貢獻(xiàn)。其目標(biāo)是傳播適用的研究。因此，如果新的理論貢獻(xiàn)受到潛在應(yīng)用的激勵，則受到歡迎；如果現(xiàn)有形式主義的應(yīng)用展示了方法或應(yīng)用方面的新穎之處，則會引起人們的興趣。
具體而言，計算形式方面的范圍包括：
用于描述系統(tǒng)的完善符號；
可驗證的設(shè)計方法；
基本計算概念的闡明；
容錯設(shè)計方法；
定理證明支持；
狀態(tài)探索工具；
廣泛使用的符號和方法的形式基礎(chǔ)；
需求分析的形式化方法。
出版周期與發(fā)文量：
該雜志出版周期Quarterly。近年來，該期刊的年發(fā)文量約為21篇。
學(xué)術(shù)影響力：
2021-2022年最新版WOS分區(qū)等級：Q3，2023年發(fā)布的影響因子為1.4，CiteScore指數(shù)3.3，SJR指數(shù)0.518。本刊非開放獲取期刊。
Cite Score（2024年最新版）
- CiteScore：3.3
- SJR：0.518
- SNIP：1.091
| 學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Mathematics 小類：Theoretical Computer Science | Q2 | 57 / 130 |
56%
|
| 大類：Mathematics 小類：Software | Q3 | 246 / 407 |
39%
|
CiteScore：該指標(biāo)由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
投稿咨詢聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。
