FORMAL METHODS IN SYSTEM DESIGN 期刊简介
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.
本期刊的重点是设计，实现和验证硬件 (VLSI) 和软件系统正确性的形式化方法。以此为目标创办期刊的刺激来自学术界和工业界。在这两个领域，对使用正式方法的兴趣在过去几年中迅速增加。验证新设计所需的巨大成本和时间导致人们意识到必须开发更强大的技术。目前正在设计许多技术和工具来提高复杂硬件和软件系统的可靠性和鲁棒性。当系统的 (子) 组件之间的边界 (由硬件，固件或软件转换) 继续模糊时，相关的设计规则和形式化方法正在迅速成熟。因此，预计将出现一个重要的 (有用的) 通用形式化方法集合，这将强烈影响未来的设计环境和设计方法。
|
期刊ISSN
|
0925-9856 |
|
影响指数
|
0.438 |
|
最新CiteScore值
|
4.50 查看CiteScore评价数据 |
|
最新自引率
|
0.00% |
|
官方指定润色网址
|
https://www.deeredit.com/?type=ss1 |
|
投稿语言要求
|
Improve the quality of the paper, eliminate grammar and spelling errors, increase readability, ensure accurate communication of viewpoints, enhance academic reputation, and increase the chances of the paper being accepted. 建议点击这个网址：https://www.deeredit.com/?type=ss2，资深审稿专家为您评估稿件质量，提供针对性改进建议，最终可助您极大提升目标期刊录用率 |
|
期刊官方网址
hot |
https://www.peipusci.com/?type=9 |
|
杂志社征稿网址
hot |
https://www.peipusci.com/?type=10 |
|
通讯地址
|
SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ |
|
偏重的研究方向（学科）
|
工程技术-计算机：理论方法 |
|
出版周期
|
Bimonthly |
|
出版年份
|
1992 |
|
出版国家/地区
|
UNITED STATES |
|
是否OA
|
No |
|
SCI期刊coverage
|
Science Citation Index Expanded（科学引文索引扩展） |
|
NCBI查询
|
PubMed Central (PMC)链接 全文检索(pubmed central) |
|
最新中科院JCR分区
|
大类(学科)
小类(学科)
综述期刊
工程技术
COMPUTER SCIENCE, THEORY & METHODS(计算机：理论方法)4区
否
|
|||||
|
最新的影响因子
|
0.438 | |||||
| 最新公布的期刊年发文量 |
|
|||||
| 总被引频次 | 47 | |||||
| 影响因子趋势图 |
近年的影响因子趋势图（整体平稳趋势）
|
|||||
2022年预警名单预测最新
|
最新CiteScore值
|
4.50
|
||||||||||||||||||
| 年文章数 | 12 | ||||||||||||||||||
|
SJR
|
0.334 | ||||||||||||||||||
|
SNIP
|
1.066 | ||||||||||||||||||
|
CiteScore排名
|
|
||||||||||||||||||
| CiteScore趋势图 |
CiteScore趋势图
|
||||||||||||||||||
|
本刊同领域相关期刊
|
|
| 期刊名称 | IF值 |
| CONSTRAINTS | 1.662 |
| Semantic Web | 2.192 |
| EXPERT SYSTEMS | 2.561 |
| ARTIFICIAL LIFE | 0.66 |
| Applied Ontology | 1.104 |
| Natural Computing | 1.673 |
| CONNECTION SCIENCE | 1.951 |
| Information Fusion | 12.845 |
| JOURNAL OF HEURISTICS | 1.665 |
|
本刊同分区等级的相关期刊
|
|
| 期刊名称 | IF值 |
| CONSTRAINTS | 1.662 |
| EXPERT SYSTEMS | 2.561 |
| ARTIFICIAL LIFE | 0.66 |
| Applied Ontology | 1.104 |
| Natural Computing | 1.673 |
| CONNECTION SCIENCE | 1.951 |
| JOURNAL OF HEURISTICS | 1.665 |
| Malaysian Journal of Computer Science | 0.616 |
| Genetic Programming and Evolvable Machines | 1.697 |
| 分享者 | 点评内容 |
