來源：學術之家整理 2025-03-18 15:38:12
《Formal Aspects Of Computing》中文名稱：《計算的形式方面》，創刊于1989年，由Springer London出版商出版，出版周期Quarterly。
本期刊旨在發表理論與實踐相結合的貢獻。其目標是傳播適用的研究。因此，如果新的理論貢獻受到潛在應用的激勵，則受到歡迎；如果現有形式主義的應用展示了方法或應用方面的新穎之處，則會引起人們的興趣。
具體而言，計算形式方面的范圍包括：
用于描述系統的完善符號；
可驗證的設計方法；
基本計算概念的闡明；
容錯設計方法；
定理證明支持；
狀態探索工具；
廣泛使用的符號和方法的形式基礎；
需求分析的形式化方法。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 9 |
| UNIVERSITE PARIS SACLAY | 7 |
| EAST CHINA NORMAL UNIVE... | 5 |
| INRIA | 5 |
| CHINESE ACADEMY OF SCIE... | 4 |
| CEA | 3 |
| INSTITUT POLYTECHNIQUE ... | 3 |
| MASSACHUSETTS INSTITUTE... | 3 |
| NATIONAL AERONAUTICS & ... | 3 |
| NEWCASTLE UNIVERSITY - ... | 3 |
| 國家/地區 | 發文量 |
| USA | 21 |
| England | 16 |
| GERMANY (FED REP GER) | 16 |
| CHINA MAINLAND | 14 |
| France | 14 |
| Italy | 9 |
| Canada | 7 |
| Denmark | 5 |
| Australia | 4 |
| Netherlands | 4 |
| 文章引用名稱 | 引用次數 |
| Variability-based model tran... | 4 |
| A formal approach for detect... | 2 |
| A UTP approach for rTiMo | 2 |
| Toward automatic verificatio... | 2 |
| Multiple model synchronizati... | 2 |
| Alternative shaper: a model ... | 2 |
| Finding suitable variability... | 2 |
| A synchronous program algebr... | 1 |
| Battery-aware scheduling in ... | 1 |
| ProFeat: feature-oriented en... | 1 |
| 被引用期刊名稱 | 數量 |
| J LOG ALGEBR METHODS | 18 |
| FORM ASP COMPUT | 17 |
| SCI COMPUT PROGRAM | 15 |
| ACM T SOFTW ENG METH | 14 |
| IEEE ACCESS | 13 |
| SOFTW SYST MODEL | 11 |
| FUND INFORM | 7 |
| INT J SOFTW TOOLS TE | 6 |
| SOFTWARE QUAL J | 6 |
| THEOR COMPUT SCI | 6 |
| 引用期刊名稱 | 數量 |
| THEOR COMPUT SCI | 35 |
| ACM T PROGR LANG SYS | 31 |
| SCI COMPUT PROGRAM | 23 |
| INFORM COMPUT | 20 |
| ACTA INFORM | 18 |
| COMMUN ACM | 18 |
| FORM ASP COMPUT | 17 |
| IEEE T SOFTWARE ENG | 11 |
| MATH STRUCT COMP SCI | 11 |
| J ACM | 9 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
