Journal Title：Formal Aspects Of Computing

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創(chuàng)刊于1989年，由Springer London出版商出版，收稿方向涵蓋工程技術(shù) - 計(jì)算機(jī)：軟件工程全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般，過(guò)審相對(duì)較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機(jī)率較高。平均審稿速度 12周，或約稿 ，影響因子指數(shù)1.4，該期刊近期沒(méi)有被列入國(guó)際期刊預(yù)警名單，廣大學(xué)者值得一試。