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.

這本雜志的目的是在理論和實(shí)踐的結(jié)合點(diǎn)發(fā)表論文。目的是傳播適用研究。因此，新的理論貢獻(xiàn)在潛在應(yīng)用的激勵(lì)下是受歡迎的；如果現(xiàn)有形式的應(yīng)用在方法或應(yīng)用方面顯示出一些新的東西，那么它們就會(huì)受到關(guān)注。術(shù)語(yǔ)“形式方法”已應(yīng)用于一系列符號(hào)、理論和工具。毫無(wú)疑問(wèn)，其中一些已經(jīng)對(duì)計(jì)算的實(shí)際應(yīng)用產(chǎn)生了重大影響。事實(shí)上，有趣的是，一旦一些東西被采用到實(shí)際應(yīng)用中，它就不再被認(rèn)為是一種正式的方法。除了廣泛使用的符號(hào)（如語(yǔ)法符號(hào)和狀態(tài)機(jī)符號(hào)）之外，規(guī)范符號(hào)、開(kāi)發(fā)方法和工具在證明一般結(jié)果和搜索特定條件方面也有著重要的應(yīng)用。然而，正式方法最深刻和持久的影響是它如何闡明基本概念，如溝通概念。本著這種精神，這本雜志的主要目的是促進(jìn)計(jì)算科學(xué)的發(fā)展，展示其與實(shí)踐的關(guān)系，并刺激應(yīng)用恰當(dāng)?shù)男问街髁x到實(shí)際問(wèn)題。一個(gè)重要的挑戰(zhàn)是展示一系列正式模型如何相互關(guān)聯(lián)。作者請(qǐng)注意：在提交論文之前，作者需要聯(lián)系適當(dāng)?shù)木庉嬑瘑T會(huì)成員，并確定他/她愿意并且能夠及時(shí)處理您的提交。您可以在期刊主頁(yè)的“編輯委員會(huì)”選項(xiàng)卡下找到編輯委員會(huì)成員及其電子郵件地址的列表。一旦你提交了你的論文，系統(tǒng)會(huì)要求你在提交之前提供編輯的名字。