Formal Methods In System Design（中文译名：《系统设计中的形式化方法》），ISSN：0925-9856，EISSN：1572-8102，是Springer US出版的国际性学术期刊，创刊于1992年，以Bimonthly形式稳定发行，2026年总发文量约20篇。该刊采用非OA开放访问，学科归属为工程技术 - 计算机：理论方法。该刊是计算机科学、计算机理论方法领域的国际权威刊物，已被SCI（科学引文索引）、SCIE（科学引文索引扩展版）、EI（工程索引）等国际主流学术数据库收录。2026年期刊影响因子达1，2025年期刊CiteScore为2.1，2025年期刊自引率约0%，在中科院期刊分区体系中位列计算机科学大类4区，在所属学科领域具备高学术影响力与国际认可度。Formal Methods In System Design长期聚焦计算机科学、计算机理论方法及相关产业的技术应用前沿，平均审稿周期>12周，或约稿，审稿流程高效稳定。在稿件录用评判中，该刊将创新性与前沿性作为核心遴选标准，重点收录能够对计算机科学、计算机理论方法领域的落地与发展产生实质性推动价值的研究成果。
从全球发文格局来看，USAFrance、GERMANY (FED REP GER)、England、Austria、Switzerland、Israel等为核心发文国家与地区；CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)COMMUNAUTE UNIVERSITE GRENOBLE ALPES、UNIVERSITY OF CALIFORNIA SYSTEM、INRIA、AUSTRIAN INSTITUTE OF TECHNOLOGY (AIT)、ETH ZURICH、IMDEA SOFTWARE INST等高校与科研机构是期刊的主要发文单位。