來源：學術之家整理 2025-03-18 15:39:42
《Science Of Computer Programming》中文名稱：《計算機編程科學》，創刊于1981年，由Elsevier出版商出版，出版周期Monthly。
《計算機編程科學》致力于傳播軟件系統開發、使用和維護領域的研究成果，包括硬件設計的軟件方面。
該期刊范圍廣泛，從方法論基礎的方方面面到技術問題的細節和工業實踐的各個方面。
SCP 感興趣的主題涵蓋了軟件系統整個生命周期的所有方法，包括
? 軟件的需求、規范、設計、驗證、驗證、編碼、測試、維護、度量和更新；
? 編程語言的設計、實現和評估；
? 編程環境、開發工具、可視化和動畫；
? 開發過程的管理；
? 軟件中的人為因素、社交互動軟件、社交計算軟件；
? 網絡物理系統以及物理和機器之間交互的軟件；
? 基礎設施服務的軟件方面、系統管理和網絡管理。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 23 |
| INRIA | 18 |
| EAST CHINA NORMAL UNIVE... | 8 |
| UNIVERSITY OF OSLO | 8 |
| UNIVERSIDADE FEDERAL DE... | 7 |
| UNIVERSIDADE FEDERAL DE... | 7 |
| UNIVERSITY OF LUXEMBOUR... | 7 |
| EINDHOVEN UNIVERSITY OF... | 6 |
| UNIVERSITY OF BOLOGNA | 6 |
| COMMUNAUTE UNIVERSITE G... | 5 |
| 國家/地區 | 發文量 |
| England | 44 |
| France | 42 |
| Brazil | 41 |
| Italy | 33 |
| GERMANY (FED REP GER) | 32 |
| CHINA MAINLAND | 26 |
| USA | 24 |
| Netherlands | 22 |
| Spain | 16 |
| Sweden | 16 |
| 文章引用名稱 | 引用次數 |
| An ontology-based approach w... | 6 |
| A formal approach to modelin... | 6 |
| Variant-based satisfiability... | 6 |
| Formal techniques in the saf... | 5 |
| A tool for domain-independen... | 5 |
| Design and implementation of... | 4 |
| The two paradigms of softwar... | 4 |
| Lub: A pattern for fine grai... | 4 |
| Orchestrating incomplete TOS... | 4 |
| A large-scale empirical expl... | 4 |
| 被引用期刊名稱 | 數量 |
| SCI COMPUT PROGRAM | 61 |
| SOFTW SYST MODEL | 59 |
| IEEE ACCESS | 53 |
| J SYST SOFTWARE | 37 |
| J LOG ALGEBR METHODS | 28 |
| INFORM SOFTWARE TECH | 24 |
| FORM ASP COMPUT | 23 |
| EMPIR SOFTW ENG | 17 |
| IEEE T SOFTWARE ENG | 14 |
| SOFTWARE PRACT EXPER | 13 |
| 引用期刊名稱 | 數量 |
| SCI COMPUT PROGRAM | 61 |
| IEEE T SOFTWARE ENG | 48 |
| THEOR COMPUT SCI | 44 |
| INFORM COMPUT | 23 |
| INFORM SOFTWARE TECH | 23 |
| ACM T PROGR LANG SYS | 21 |
| COMMUN ACM | 20 |
| ACTA INFORM | 17 |
| ACM T SOFTW ENG METH | 16 |
| FORM ASP COMPUT | 15 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
