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.

【译文】该期刊旨在发表理论与实践交汇处的贡献。目标是传播可应用的研究。因此，欢迎有潜在应用动机的新理论贡献；如果它们展示了关于方法或应用的新颖之处，则对现有公式的应用感兴趣。特别是，《计算形式方面》的范围包括：描述系统的坚实基础符号；可验证的设计方法；阐明基本计算概念；容错设计方法；定理证明支持；状态探索工具；广泛使用的符号和方法的正式基础；形式化的需求分析方法。