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