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. The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication. In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other. AUTHORS PLEASE NOTE: Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage. Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.

这本杂志的目的是在理论和实践的结合点发表论文。目的是传播适用研究。因此，新的理论贡献在潜在应用的激励下是受欢迎的；如果现有形式的应用在方法或应用方面显示出一些新的东西，那么它们就会受到关注。术语“形式方法”已应用于一系列符号、理论和工具。毫无疑问，其中一些已经对计算的实际应用产生了重大影响。事实上，有趣的是，一旦一些东西被采用到实际应用中，它就不再被认为是一种正式的方法。除了广泛使用的符号（如语法符号和状态机符号）之外，规范符号、开发方法和工具在证明一般结果和搜索特定条件方面也有着重要的应用。然而，正式方法最深刻和持久的影响是它如何阐明基本概念，如沟通概念。本着这种精神，这本杂志的主要目的是促进计算科学的发展，展示其与实践的关系，并刺激应用恰当的形式主义到实际问题。一个重要的挑战是展示一系列正式模型如何相互关联。作者请注意：在提交论文之前，作者需要联系适当的编辑委员会成员，并确定他/她愿意并且能够及时处理您的提交。您可以在期刊主页的“编辑委员会”选项卡下找到编辑委员会成员及其电子邮件地址的列表。一旦你提交了你的论文，系统会要求你在提交之前提供编辑的名字。