期刊信息
International Journal on Software Tools for Technology Transfer (STTT)
http://www.springer.com/computer/swe/journal/10009出版商: |
Springer |
ISSN: |
1433-2779 |
浏览: |
12730 |
关注: |
7 |
征稿
The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for the discussion of all aspects of tools supporting the development of computer systems. It offers, above all, a tool-oriented link between academic research and industrial practice. Tool support for the development of reliable and correct computer systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science. However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields. Tool builders are often unaware of the work done by others, and thus unable to apply it. The situation is even more critical when considering the transfer of new technology into industrial practice. STTT addresses this situation by (1) publishing accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques and (2) channeling comments, queries, and feedback about tools and papers in the Online Forum with highlights published electronically. STTT focuses on three major technical themes: 1. Construction and analysis issues: These involve hierarchical and compositional approaches; syntax-oriented vs. semantic methods; synthesis vs. verification; formal support of the entire system life cycle, including requirements capture, design, implementation, verification, testing maintenance, evolution; and analysis of non-functional aspects of system behavior, such as real-time, probability, and efficiency. 2. Practicality issues: These address performance, genericity, and usability of tools; case studies and experience reports; and industrial use and feedback. 3. Generic tool issues: These include paradigms (fully automated vs. interactive approaches); design issues (modularity, efficiency, portability, integrability, reusability); automatic support (tool generators, integrators, and interface builders); and user interfaces (graphics, Web forms, retrieval). STTT comprises Regular Papers, Special Sections in the form of Special Issues or Thematic Sections, the Formal Methods Letters (FML) with its own Editorial Sub-board, an Opinion Corner with Position Papers and Reviews, as well as an Online Forum for more instantaneous discussion. All these kinds of contributions are handled via the STTT online service http://sttt.cs.tu-dortmund.de/sttt-regular/servlet/Conference. Due to STTT's emphasis on technology transfer, we encourage an illustrative, example-driven presentation style that focuses on the underlying themes. Technical material and detailed proofs that are not necessary for the comprehension of the essence and the impact of the contributions should be replaced by adequate referencing of other publications or be provided separately in an online appendix. This way the journal provides a fast and intuitive entry into new material and new themes, and, at the same time, the online appendix gives experts easy access to the related technical or theoretical details. These include proofs, definitions of complicated underlying calculi, and discussions of related theories, as well as other information concerning implementation issues, user documentation, benchmarking information, and raw experimental data, which go beyond the general interest.
最后更新 Dou Sun 在 2013-10-03
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
b | Information and Software Technology | 2.730 | Elsevier | 0950-5849 |
Card Technology Today | Elsevier | 0965-2590 | ||
Machine Learning and Applications: An International Journal | AIRCC | 2394-0840 | ||
Biometric Technology Today | Elsevier | 0969-4765 | ||
Journal of Hospitality and Tourism Technology | Emerald | 1757-9880 | ||
Cluster Computing | 1.809 | Springer | 1386-7857 | |
International Journal of Differential Equations | Hindawi | 1687-9643 | ||
b | ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM | 1936-7406 |
Information Technology and Management | 1.533 | Springer | 1385-951X | |
b | ACM Transactions on Internet Technology | 1.489 | ACM | 1533-5399 |
全称 | 影响因子 | 出版商 |
---|---|---|
Information and Software Technology | 2.730 | Elsevier |
Card Technology Today | Elsevier | |
Machine Learning and Applications: An International Journal | AIRCC | |
Biometric Technology Today | Elsevier | |
Journal of Hospitality and Tourism Technology | Emerald | |
Cluster Computing | 1.809 | Springer |
International Journal of Differential Equations | Hindawi | |
ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM |
Information Technology and Management | 1.533 | Springer |
ACM Transactions on Internet Technology | 1.489 | ACM |
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
Sarnoff | IEEE Sarnoff Symposium | 2019-07-01 | 2019-08-19 | 2019-09-23 | |||
ICITBE | International Conference on Information Technology and Biomedical Engineering | 2022-09-30 | 2022-10-10 | 2022-12-23 | |||
ICMEME | International Conference on Mechanical Engineering, Materials and Energy | 2016-12-03 | 2016-12-10 | ||||
b1 | EuroGP | European Conference on Genetic Programming | 2015-11-15 | 2016-01-04 | 2016-03-30 | ||
ICIIC | International Conference on Information and Intelligent Computing | 2014-10-05 | 2014-10-25 | 2014-12-26 | |||
ICSSTE | International Conference on Software Science, Technology and Engineering | 2014-05-10 | 2014-05-20 | 2014-07-05 | |||
ICT4DA | International Conference of ICT for Development for Africa | 2019-02-17 | 2019-03-15 | 2019-05-28 | |||
CVMP | ACM SIGGRAPH European Conference on Visual Media Production | 2019-08-23 | 2019-12-17 | ||||
b2 | Ada-Europe | International Conference on Reliable Software Technologies | 2020-01-14 | 2020-03-20 | 2020-06-08 | ||
c | CNNA | International Workshop on Cellular Nanoscale Networks and their Applications | 2012-06-08 | 2012-08-29 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
Sarnoff | IEEE Sarnoff Symposium | 2019-07-01 | 2019-09-23 |
ICITBE | International Conference on Information Technology and Biomedical Engineering | 2022-09-30 | 2022-12-23 |
ICMEME | International Conference on Mechanical Engineering, Materials and Energy | 2016-12-03 | 2016-12-10 |
EuroGP | European Conference on Genetic Programming | 2015-11-15 | 2016-03-30 |
ICIIC | International Conference on Information and Intelligent Computing | 2014-10-05 | 2014-12-26 |
ICSSTE | International Conference on Software Science, Technology and Engineering | 2014-05-10 | 2014-07-05 |
ICT4DA | International Conference of ICT for Development for Africa | 2019-02-17 | 2019-05-28 |
CVMP | ACM SIGGRAPH European Conference on Visual Media Production | 2019-08-23 | 2019-12-17 |
Ada-Europe | International Conference on Reliable Software Technologies | 2020-01-14 | 2020-06-08 |
CNNA | International Workshop on Cellular Nanoscale Networks and their Applications | 2012-08-29 |
推荐