ISSN：0934-5043
E-ISSN：1433-299X
H-index指數(shù)：36
文章自引率：
影響因子：1.4
年發(fā)文量：21
研究類文章占比：100.00%
開源占比：0.38...
OA被引用占比：0.06...
Formal Aspects Of Computing
國際簡稱：FORM ASP COMPUT
出版周期：Quarterly
研究方向：工程技術(shù) - 計(jì)算機(jī)：軟件工程
出版語言：English
創(chuàng)刊時(shí)間：1989
是否預(yù)警：否
出版地區(qū)：UNITED STATES
是否 OA：未開放
《Formal Aspects Of Computing》(《計(jì)算的形式方面》)是一本由Springer London出版的工程技術(shù)-計(jì)算機(jī)：軟件工程學(xué)術(shù)刊物，主要刊載工程技術(shù)-計(jì)算機(jī)：軟件工程相關(guān)領(lǐng)域研究成果與實(shí)踐，旨在打造一種學(xué)術(shù)水平高、可讀性強(qiáng)、具有全球影響力的學(xué)術(shù)期刊。本刊已入選SCIE來源期刊。該刊創(chuàng)刊于1989年，出版周期Quarterly。2023年發(fā)布的影響因子為1.4。
Magazine introduction
計(jì)算的形式方面（Formal Aspects Of Computing）在中科院分區(qū)中位于4區(qū)，JCR分區(qū)位于Q3。審稿速度一般為 12周，或約稿 ，且近兩年沒有被列入國際預(yù)警名單，您可以放心投稿。如果您需要投稿指導(dǎo)，可在線咨詢我們的客服老師，我們將竭誠為您服務(wù)。
本期刊旨在發(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ǔ)；
需求分析的形式化方法。
Magazine introduction
2023年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
2022年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
2021年12月舊的升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
2021年12月基礎(chǔ)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
2021年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
2020年12月舊的升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
分區(qū)表升級(jí)版：旨在解決期刊學(xué)科體系劃分與學(xué)科發(fā)展以及融合趨勢的不相容問題。升級(jí)版有如下優(yōu)勢：一是論文層級(jí)的主題體系既能體現(xiàn)學(xué)科交叉特點(diǎn)，又可以精準(zhǔn)揭示期刊載文的多學(xué)科性；二是采用“期刊超越指數(shù)”替代影響因子指標(biāo)，解決了影響因子數(shù)學(xué)性質(zhì)缺陷對(duì)評(píng)價(jià)結(jié)果的干擾。整體而言，分區(qū)表升級(jí)版（試行）突破了期刊評(píng)價(jià)中學(xué)科體系構(gòu)建、評(píng)價(jià)指標(biāo)選擇等瓶頸問題，能夠更為全面地揭示學(xué)術(shù)期刊的影響力，為科研評(píng)價(jià)“去四唯”提供解決思路。相關(guān)研究成果經(jīng)過國際同行的認(rèn)可，已經(jīng)發(fā)表在科學(xué)計(jì)量學(xué)領(lǐng)域國際重要期刊。
Magazine introduction（2023-2024年最新版）
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 99 / 131 |
24.81% |
JCR：JCR沒有設(shè)置大類，只分為176個(gè)具體學(xué)科，按當(dāng)期（1年）的影響因子進(jìn)行分區(qū)；JCR是按照“平均主義”思想，根據(jù)刊物IF的高至低平均劃分4個(gè)區(qū)，每個(gè)區(qū)含有該領(lǐng)域總量25%的期刊。中科院的分區(qū)如同社會(huì)階層的金字塔結(jié)構(gòu)，1區(qū)只有5%的頂級(jí)期刊，2~4區(qū)期刊數(shù)量也逐層增加,所以中科院的1區(qū)和2區(qū)雜志很少，雜志質(zhì)量相對(duì)也高，基本都是本領(lǐng)域的頂級(jí)期刊。
Magazine introduction
影響因子歷年變化趨勢
CiteScore歷年變化趨勢
中科院JCR分區(qū)歷年變化趨勢
引文指標(biāo)和發(fā)文量歷年變化趨勢
自引數(shù)據(jù)歷年變化趨勢
影響因子：表示一種雜志的被引用頻率，是國際上通用的期刊評(píng)價(jià)指標(biāo)，它不僅是一種測度期刊有用性和顯示度的指標(biāo)，而且也是測度期刊的學(xué)術(shù)水平，乃至論文質(zhì)量的重要指標(biāo)。
CiteScore：是影響因子最強(qiáng)有力的競爭者，是衡量期刊影響力的一個(gè)指標(biāo),由愛思維爾于2020年發(fā)布，旨在讓人們更細(xì)致地了解影響力對(duì)研究和期刊的意義。
CiteScore（2024年最新版）
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||
| 3.3 | 0.518 | 1.091 |
|
（同大類學(xué)科）
中科院分區(qū)：2區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：2區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：3區(qū)
中科院分區(qū)：3區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：3區(qū)
Magazine introduction
我們不是雜志社。本站主要從事雜志訂閱與期刊推薦服務(wù)，不是任何雜志官網(wǎng)。直投稿件請(qǐng)聯(lián)系雜志社，地址：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。
本站無論任務(wù)服務(wù)，事先跟客戶都進(jìn)行詳細(xì)溝通確認(rèn)，如果沒有按期完成，由本站退還客戶支付的費(fèi)用。但客戶單方面中止訂單，是不能退款的。
正常情況能滿足大部分的用戶，建議你提前一點(diǎn)時(shí)間，如果客戶特別需要加急，需要我們和雜志社溝通安排，如果確認(rèn)可以會(huì)收取一定加急費(fèi)用。
當(dāng)然，我們會(huì)通過短信或電話主動(dòng)溝通，匯報(bào)進(jìn)展情況。您也可以撥打您的客服老師電話和我司設(shè)立的投訴電話。
雖然每天面對(duì)客戶的需求千差萬別,但我們只能保障盡我們的努力滿足您的要求，為您提供幫助,如果您的某個(gè)要求沒得到滿足,我們首先說聲抱歉，也請(qǐng)您不要失望，有問題還請(qǐng)繼續(xù)提問,我們竭誠為您服務(wù)
隨著現(xiàn)在各種網(wǎng)站層出不窮的誕生，騙子也越來越多，我們實(shí)體公司注冊(cè)，實(shí)體辦公，網(wǎng)站國家工信部備案，信息公開，可以查詢，從創(chuàng)辦初衷我們就是專注高質(zhì)量的服務(wù)，客戶優(yōu)先，注重質(zhì)量。我們的具有保密性，我們對(duì)合作過程中的客戶信息安全制定嚴(yán)格的管理制度。
Magazine introduction
Magazine introduction
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商，地址：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。
購物車(0)