Formal Aspects Of Computing

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.

本期刊旨在发表理论与实践相结合的贡献。其目标是传播适用的研究。因此，如果新的理论贡献受到潜在应用的激励，则受到欢迎；如果现有形式主义的应用展示了方法或应用方面的新颖之处，则会引起人们的兴趣。

具体而言，计算形式方面的范围包括：

用于描述系统的完善符号；

可验证的设计方法；

基本计算概念的阐明；

容错设计方法；

定理证明支持；

状态探索工具；

广泛使用的符号和方法的形式基础；

需求分析的形式化方法。

Formal Aspects Of Computing创刊于1989年，由Springer London出版商出版，收稿方向涵盖工程技术 - 计算机：软件工程全领域，此期刊水平偏中等偏靠后，在所属细分领域中专业影响力一般，过审相对较易，如果您文章质量佳，选择此期刊，发表机率较高。平均审稿速度 12周，或约稿 ，影响因子指数1.4，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。