來源:學術之家整理 2025-03-18 15:40:39
《International Journal On Software Tools For Technology Transfer》中文名稱:《國際技術轉讓軟件工具雜志》,創刊于1997年,由Springer Berlin Heidelberg出版商出版,出版周期6 issues per year。
《國際技術轉讓軟件工具雜志》(STTT)為討論支持計算機系統開發的工具的各個方面提供了一個論壇。首先,它提供了學術研究與工業實踐之間的以工具為導向的聯系。
對可靠和正確的計算機系統開發的工具支持越來越重要,并且在計算機科學的不同領域已經開發了大量的設計方法、算法和相關工具。然而,每個領域都有自己的文化和術語,阻礙了研究人員利用其他領域同事的成果。工具制造者往往不知道其他人所做的工作,因此無法應用它。在考慮將新技術轉移到工業實踐中時,情況就更加危急了。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 15 |
| COMMUNAUTE UNIVERSITE G... | 9 |
| TECHNICAL UNIVERSITY OF... | 8 |
| CONSIGLIO NAZIONALE DEL... | 7 |
| INRIA | 7 |
| UNIVERSITY OF MUNICH | 6 |
| AALBORG UNIVERSITY | 5 |
| UNIVERSITE CATHOLIQUE L... | 5 |
| UNIVERSITY OF TWENTE | 5 |
| CEA | 4 |
| 國家/地區 | 發文量 |
| GERMANY (FED REP GER) | 36 |
| France | 28 |
| USA | 18 |
| England | 16 |
| Italy | 16 |
| Canada | 11 |
| Austria | 9 |
| Czech Republic | 9 |
| Denmark | 9 |
| Netherlands | 9 |
| 文章引用名稱 | 引用次數 |
| Mining parametric temporal l... | 4 |
| Spatio-temporal model checki... | 4 |
| Formal modeling and analysis... | 3 |
| Exact finite-state machine i... | 2 |
| Towards formal methods diver... | 2 |
| First international Competit... | 2 |
| Reliable benchmarking: requi... | 2 |
| Automated translation of VDM... | 2 |
| Combining sequentialization-... | 2 |
| Symmetry reduction in CSP mo... | 2 |
| 被引用期刊名稱 | 數量 |
| INT J SOFTW TOOLS TE | 34 |
| IEEE ACCESS | 22 |
| SOFTW SYST MODEL | 19 |
| INFORM SOFTWARE TECH | 12 |
| SCI COMPUT PROGRAM | 12 |
| J LOG ALGEBR METHODS | 10 |
| J SYST SOFTWARE | 10 |
| FORM METHOD SYST DES | 7 |
| FORM ASP COMPUT | 6 |
| SOFTWARE QUAL J | 6 |
| 引用期刊名稱 | 數量 |
| INT J SOFTW TOOLS TE | 34 |
| IEEE T SOFTWARE ENG | 21 |
| FORM METHOD SYST DES | 18 |
| THEOR COMPUT SCI | 17 |
| COMMUN ACM | 10 |
| INFORM COMPUT | 10 |
| SOFTW TEST VERIF REL | 9 |
| J ACM | 7 |
| J SYST SOFTWARE | 7 |
| SCI COMPUT PROGRAM | 7 |
聲明:該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們,我們將及時更正。