0
0
来源：学术之家整理 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 |
声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。
