Formal Methods in System Design

2527

微信好友朋友圈 QQ好友复制链接

查看最新文献

SCI期刊

中科院SCI期刊分区 WOS期刊分区历年影响因子历年发表投稿信息同类期刊

中文名称：

系统设计中的形式化方法

期刊缩写：

FORM METHOD SYST DES copy

复制

反馈

影响因子：

期刊影响因子(Impact factor，IF) 即某刊平均每篇论文的被引用数，是表征期刊影响大小的一项定量指标，它实际上是某刊在某年被全部源刊物引证该刊前两年发表论文的次数，与该刊前两年所发表的全部源论文数之比。

0.7

反馈

ISSN：

ISSN是由8个数字组成的编码，旨在识别各种报纸、专业杂志、画报、期刊，无论其性质或载体版本（纸版及电子版）。

print: 0925-9856
on-line: 1572-8102

研究领域：

工程技术-计算机：理论方法

创刊年份：

1992年

h-index：

h-index是指该期刊有h篇文章至少被引用h次，是一项简单易懂的评估指标，不像平均值会受极端值影响，可呈现出多数文章的被引用表现。Google使用过去5年的h-index数据评价期刊的影响力，“h5指数”比较难以被人为操控，不会因为多了一篇超高被引论文而明显增长，另一方面，刻意减少发文量也不会对提升h5指数有作用。

自引率：

12.50%

Gold OA文章占比：

Gold OA文章占比是指一个总体中金色OA文章数量占总体文章数量的比重。OA期刊的文章主要通过金色通道（Gold road，也称为Gold OA，即期刊官网）和绿色通道（Green road，或Green OA）实现开放获取。金色通道是开放获取期刊通过自己的官网来实现的，而绿色通道是通过把文章自存档于机构知识库(Institutional Repositories，比如哈佛大学学术库DASH）或学科知识库中来实现。

46.75%

原创研究文献占比：

100.00%

SCI收录类型：

Science Citation Index Expanded (SCIE) || Scopus (CiteScore)

期刊官网：

https://www.springer.com/10703 https://www.springer.com/journal/10703

期刊介绍英文：

The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.

CiteScore：

引用分数（英语：CiteScore，CS）是一种用来反映学术期刊最近发表文章“年平均被引用次数”的衡量指标。该指标由Elsevier于 2016 年 12 月推出，以替代常用的JCR影响因子（由Clarivate计算）。 CiteScore是Scopus中系列期刊指标的一部分，包括 SNIP(源文档标准化影响)，SJR (SClmago杂志排名)，引用文档计数以及引用百分比。

CiteScore	SJR	SNIP	CiteScore排名
2.0	0.400	0.666	学科排名百分位大类：Mathematics 小类：Theoretical Computer Science 92 / 130 29% 大类：Computer Science 小类：Hardware and Architecture 136 / 177 23% 大类：Computer Science 小类：Software 314 / 407 22%