來源：學(xué)術(shù)之家整理 2025-03-18 15:38:12
《Formal Methods In System Design》中文名稱：《系統(tǒng)設(shè)計(jì)中的形式化方法》，創(chuàng)刊于1992年，由Springer US出版商出版，出版周期Bimonthly。
本期刊的重點(diǎn)是設(shè)計(jì)、實(shí)施和驗(yàn)證硬件（VLSI）和軟件系統(tǒng)正確性的形式化方法。以此為目標(biāo)創(chuàng)辦期刊的動(dòng)機(jī)來自學(xué)術(shù)界和工業(yè)界。在這兩個(gè)領(lǐng)域，人們對(duì)使用形式化方法的興趣在過去幾年中迅速增加。驗(yàn)證新設(shè)計(jì)所需的巨大成本和時(shí)間使人們意識(shí)到必須開發(fā)更強(qiáng)大的技術(shù)。目前正在設(shè)計(jì)許多技術(shù)和工具來提高復(fù)雜硬件和軟件系統(tǒng)的可靠性和穩(wěn)健性。雖然系統(tǒng)中硬件、固件或軟件的（子）組件之間的界限繼續(xù)模糊，但相關(guān)的設(shè)計(jì)學(xué)科和形式化方法正在迅速成熟。因此，預(yù)計(jì)將出現(xiàn)一個(gè)重要（且有用）的常用形式化方法集合，這將對(duì)未來的設(shè)計(jì)環(huán)境和設(shè)計(jì)方法產(chǎn)生重大影響。
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 機(jī)構(gòu)名稱 | 發(fā)文量 |
| CENTRE NATIONAL DE LA R... | 11 |
| COMMUNAUTE UNIVERSITE G... | 6 |
| UNIVERSITY OF CALIFORNI... | 6 |
| INRIA | 5 |
| AUSTRIAN INSTITUTE OF T... | 3 |
| ETH ZURICH | 3 |
| IMDEA SOFTWARE INST | 3 |
| MICROSOFT | 3 |
| NEW YORK UNIVERSITY | 3 |
| SORBONNE UNIVERSITE | 3 |
| 國家/地區(qū) | 發(fā)文量 |
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
| 文章引用名稱 | 引用次數(shù) |
| Monitoring hyperproperties | 3 |
| TeLEx: learning signal tempo... | 3 |
| A survey of challenges for r... | 2 |
| Probabilistic black-box reac... | 1 |
| Incrementally closing octago... | 1 |
| An improved algorithm for th... | 1 |
| Conditions of contracts for ... | 1 |
| Solving parity games via pri... | 1 |
| Validating numerical semidef... | 1 |
| Efficient verification of ra... | 1 |
| 被引用期刊名稱 | 數(shù)量 |
| FORM METHOD SYST DES | 21 |
| INT J SOFTW TOOLS TE | 18 |
| IEEE ACCESS | 10 |
| ACM T EMBED COMPUT S | 9 |
| FORM ASP COMPUT | 8 |
| ACM COMPUT SURV | 7 |
| AUTOMATICA | 7 |
| FUND INFORM | 7 |
| IEEE T COMPUT AID D | 7 |
| J AUTOM REASONING | 6 |
| 引用期刊名稱 | 數(shù)量 |
| FORM METHOD SYST DES | 21 |
| J ACM | 13 |
| COMMUN ACM | 11 |
| THEOR COMPUT SCI | 11 |
| INT J SOFTW TOOLS TE | 7 |
| ACM T PROGR LANG SYS | 6 |
| INFORM COMPUT | 6 |
| SCI COMPUT PROGRAM | 6 |
| MATH PROGRAM | 5 |
| ACTA INFORM | 4 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們，我們將及時(shí)更正。
