來(lái)源：學(xué)術(shù)之家整理 2025-03-18 15:40:39
《International Journal On Software Tools For Technology Transfer》中文名稱(chēng)：《國(guó)際技術(shù)轉(zhuǎn)讓軟件工具雜志》，創(chuàng)刊于1997年，由Springer Berlin Heidelberg出版商出版，出版周期6 issues per year。
《國(guó)際技術(shù)轉(zhuǎn)讓軟件工具雜志》（STTT）為討論支持計(jì)算機(jī)系統(tǒng)開(kāi)發(fā)的工具的各個(gè)方面提供了一個(gè)論壇。首先，它提供了學(xué)術(shù)研究與工業(yè)實(shí)踐之間的以工具為導(dǎo)向的聯(lián)系。
對(duì)可靠和正確的計(jì)算機(jī)系統(tǒng)開(kāi)發(fā)的工具支持越來(lái)越重要，并且在計(jì)算機(jī)科學(xué)的不同領(lǐng)域已經(jīng)開(kāi)發(fā)了大量的設(shè)計(jì)方法、算法和相關(guān)工具。然而，每個(gè)領(lǐng)域都有自己的文化和術(shù)語(yǔ)，阻礙了研究人員利用其他領(lǐng)域同事的成果。工具制造者往往不知道其他人所做的工作，因此無(wú)法應(yīng)用它。在考慮將新技術(shù)轉(zhuǎn)移到工業(yè)實(shí)踐中時(shí)，情況就更加危急了。
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 機(jī)構(gòu)名稱(chēng) | 發(fā)文量 |
| 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 |
| 國(guó)家/地區(qū) | 發(fā)文量 |
| GERMANY (FED REP GER) | 36 |
| France | 28 |
| USA | 18 |
| England | 16 |
| Italy | 16 |
| Canada | 11 |
| Austria | 9 |
| Czech Republic | 9 |
| Denmark | 9 |
| Netherlands | 9 |
| 文章引用名稱(chēng) | 引用次數(shù) |
| 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 |
| 被引用期刊名稱(chēng) | 數(shù)量 |
| 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 |
| 引用期刊名稱(chēng) | 數(shù)量 |
| 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 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開(kāi)知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們，我們將及時(shí)更正。
