计算的形式方面 SCIE

期刊简介预计审稿时间： 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.

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

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

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

可验证的设计方法；

基本计算概念的阐明；

容错设计方法；

定理证明支持；

状态探索工具；

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

需求分析的形式化方法。

《Formal Aspects Of Computing》(计算的形式方面)编辑部通讯方式为SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。