期刊簡介

本期刊旨在發表理論與實踐相結合的貢獻。其目標是傳播適用的研究。因此，如果新的理論貢獻受到潛在應用的激勵，則受到歡迎；如果現有形式主義的應用展示了方法或應用方面的新穎之處，則會引起人們的興趣。

具體而言，計算形式方面的范圍包括：

用于描述系統的完善符號；

可驗證的設計方法；

基本計算概念的闡明；

容錯設計方法；

定理證明支持；

狀態探索工具；

廣泛使用的符號和方法的形式基礎；

需求分析的形式化方法。

計算的形式方面創刊于1989年，由Springer London出版社出版。其研究的主題領域包括但不限于工程技術-計算機：軟件工程，是一本在計算機科學領域具有重要影響力的國際期刊。該期刊涵蓋了計算機科學的多個子領域，旨在全面理解和解決計算機科學問題。

根據最新的數據，計算的形式方面的影響因子為1.4，CiteScore為3.3，h-index為36，SJR為0.518，SNIP為1.091，中科院分區為4區，這些指標均顯示了該期刊在計算機科學領域的優秀地位。

該刊以English作為出版語言。對于English非母語的作者，期刊建議使用語言編輯服務，以確保文稿的語法和拼寫錯誤得到糾正，并符合科學English的標準。如果想實現快速順利的投稿發表，建議您聯系本站的客服團隊，將為您提供專業的選刊建議，并在整個投稿過程中提供細致的指導。