期刊簡(jiǎn)介

本期刊旨在發(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ǔ)；

需求分析的形式化方法。

計(jì)算的形式方面創(chuàng)刊于1989年，由Springer London出版社出版。其研究的主題領(lǐng)域包括但不限于工程技術(shù)-計(jì)算機(jī)：軟件工程，是一本在計(jì)算機(jī)科學(xué)領(lǐng)域具有重要影響力的國(guó)際期刊。該期刊涵蓋了計(jì)算機(jī)科學(xué)的多個(gè)子領(lǐng)域，旨在全面理解和解決計(jì)算機(jī)科學(xué)問(wèn)題。

根據(jù)最新的數(shù)據(jù)，計(jì)算的形式方面的影響因子為1.4，CiteScore為3.3，h-index為36，SJR為0.518，SNIP為1.091，中科院分區(qū)為4區(qū)，這些指標(biāo)均顯示了該期刊在計(jì)算機(jī)科學(xué)領(lǐng)域的優(yōu)秀地位。

該刊以English作為出版語(yǔ)言。對(duì)于English非母語(yǔ)的作者，期刊建議使用語(yǔ)言編輯服務(wù)，以確保文稿的語(yǔ)法和拼寫(xiě)錯(cuò)誤得到糾正，并符合科學(xué)English的標(biāo)準(zhǔn)。如果想實(shí)現(xiàn)快速順利的投稿發(fā)表，建議您聯(lián)系本站的客服團(tuán)隊(duì)，將為您提供專業(yè)的選刊建議，并在整個(gè)投稿過(guò)程中提供細(xì)致的指導(dǎo)。