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.

本期刊旨在发表理论与实践交界处的贡献。目的是传播适用的研究。因此，如果新的理论贡献受到潜在应用的推动，那么它们是受欢迎的；如果现有形式的应用显示出方法或应用的新奇之处，那么它们的应用就会很有趣。

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

用于描述系统的有根据的符号；

可验证的设计方法；

阐明基本的计算概念；

容错设计方法；

定理证明支持；

状态探索工具；

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

需求分析的正式方法。