杂志简称：form method syst des
中文译名：《系统设计的形式化方法》
收录属性：scie（2024版）, 目次收录（维普）, 目次收录（知网）,英文期刊,
投稿方向：计算机科学、computer science, theory & methods计算机、理论方法
SCI/E期刊基本信息
出版周期：年3期 地区：美国
中科院分区：3区
是否TOP：非TOP期刊
是否综述：非综述期刊
是否OA：非OA期刊
国际标准刊号：ISSN 0925-9856；EISSN 1572-8102
杂志语言：英语
出版国家：美国
杂志官网 联系方式
出版地址：SPRINGER,VAN GODEWIJCKSTRAAT 30,DORDRECHT,NETHERLANDS,3311 GZ
杂志邮箱：
投稿网址：https://www.editorialmanager.com/form
杂志官方网址：https://www.springer.com/journal/10703
出版商网址：http://www.springeronline.com
杂志投稿要求
期刊相关咨询邮箱【杂志社官方网站信息】
Contact the journal
Submission-related enquiries
Queries about submission issues, peer review process, or the status of your manuscript should be sent to Mangayarkarasi Lakshmiram (mangayarkarasi.lakshmiram@springernature.com).
Production-related enquiries
Queries about accepted manuscripts in production or post-publication corrections should be sent to Marielle Klijn (Marielle.Klijn@springer.com).
Rights and Permissions enquiries
For permission requests to reuse or reprint content, please follow the link ‘Rights and permissions’ on the relevant article page. For other queries, contact journalpermissions@springernature.com.
Publication-related enquiries
Queries related to journal publishing should be sent to Allison Keene (allison.keene@springer.com).
投稿须知【杂志社官方网站信息】
Formal Methods in System Design
Submission guidelines
Instructions for Authors
Manuscript Submission
Submission of a manuscript implies: that the work described has not been published before; that it is not under consideration for publication anywhere else; that its publication has been approved by all co-authors, if any, as well as by the responsible authorities – tacitly or explicitly – at the institute where the work has been carried out. The publisher will not be held legally responsible should there be any claims for compensation.
Permissions
Authors wishing to include figures, tables, or text passages that have already been published elsewhere are required to obtain permission from the copyright owner(s) for both the print and online format and to include evidence that such permission has been granted when submitting their papers. Any material received without such evidence will be assumed to originate from the authors.
Online Submission
Please follow the hyperlink “Submit manuscript” on the right and upload all of your manuscript files following the instructions given on the screen.
Please ensure you provide all relevant editable source files. Failing to submit these source files might cause unnecessary delays in the review and production process.
Title Page
Please make sure your title page contains the following information.
Title
The title should be concise and informative.
Author information
The name(s) of the author(s)
The affiliation(s) of the author(s), i.e. institution, (department), city, (state), country
A clear indication and an active e-mail address of the corresponding author
If available, the 16-digit ORCID of the author(s)
If address information is provided with the affiliation(s) it will also be published.
For authors that are (temporarily) unaffiliated we will only capture their city and country of residence, not their e-mail address unless specifically requested.
Abstract
Please provide an abstract of 150 to 250 words. The abstract should not contain any undefined abbreviations or unspecified references.
For life science journals only (when applicable)
Trial registration number and date of registration for prospectively registered trials
Trial registration number and date of registration, followed by “retrospectively registered”, for retrospectively registered trials
Keywords
Please provide 4 to 6 keywords which can be used for indexing purposes.
Statements and Declarations
The following statements should be included under the heading "Statements and Declarations" for inclusion in the published paper. Please note that submissions that do not include relevant declarations will be returned as incomplete.
Competing Interests: Authors are required to disclose financial or non-financial interests that are directly or indirectly related to the work submitted for publication. Please refer to “Competing Interests and Funding” below for more information on how to complete this section.
Please see the relevant sections in the submission guidelines for further information as well as various examples of wording. Please revise/customize the sample statements according to your own needs.
Text
For first (initial) submissions, we require a single file containing your manuscript as a minimum (Word or PDF). For LaTeX submissions we encourage authors to use the Springer Nature LaTeX template when preparing a submission.
For revised submissions we strongly recommend to upload the editable source files (either Word or LaTeX) together with a PDF of the revised (LaTeX) manuscript for reference. We can process a PDF-only submission, but upon acceptance source files are mandatory and providing source files after acceptance may delay production.
Text Formatting
Manuscripts should be submitted in LaTeX. We recommend using Springer Nature’s LaTeX template. The submission should include the original source (including all style files and figures) and a PDF version of the compiled output.
Word files are also accepted.
Headings
Please use the decimal system of headings with no more than three levels.
Abbreviations
Abbreviations should be defined at first mention and used consistently thereafter.
Footnotes
Footnotes can be used to give additional information, which may include the citation of a reference included in the reference list. They should not consist solely of a reference citation, and they should never include the bibliographic details of a reference. They should also not contain any figures or tables.
Footnotes to the text are numbered consecutively; those to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data). Footnotes to the title or the authors of the article are not given reference symbols.
Always use footnotes instead of endnotes.
Acknowledgments
Acknowledgments of people, grants, funds, etc. should be placed in a separate section on the title page. The names of funding organizations should be written in full.