期刊簡(jiǎn)介預(yù)計(jì)審稿時(shí)間： 12周，或約稿

This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

In particular, the scope of Formal Aspects of Computing includes:

well-founded notations for the description of systems;

verifiable design methods;

elucidation of fundamental computational concepts;

approaches to fault-tolerant design;

theorem-proving support;

state-exploration tools;

formal underpinning of widely used notations and methods;

formal approaches to requirements analysis.

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

需求分析的形式化方法。

《Formal Aspects Of Computing》(計(jì)算的形式方面)編輯部通訊方式為SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。如果您需要協(xié)助投稿或潤(rùn)稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對(duì)一投稿指導(dǎo)，避免您在投稿時(shí)頻繁碰壁，節(jié)省您的寶貴時(shí)間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會(huì)泄露您的個(gè)人信息或稿件內(nèi)容。