Logo - springer
Slogan - springer

Computer Science - Software Engineering | International Journal on Software Tools for Technology Transfer – incl. option to publish open access (Editorial Board)

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer

Editors-in-Chief: B. Steffen; J. Hatcliff

ISSN: 1433-2779 (print version)
ISSN: 1433-2787 (electronic version)

Journal no. 10009

$99.00 Personal Rate e-only for the Americas
Get Subscription

Online subscription, valid from January through December of current calendar year

Immediate access to this year's issues via SpringerLink

1 Volume(-s) with 6 issue(-s) per annual subscription

Automatic annual renewal

More information: >> FAQs // >> Policy

Editors-in-Chief 

Bernhard Steffen
Fachbereich Informatik
Programming Systems
Universität Dortmund
Otto-Hahn-Str. 14
44221 Dortmund, Germany
steffen@cs.uni-dortmund.de

John Hatcliff
Department of Computing and Information Sciences
234 Nichols Hall
Kansas State University
Manhattan, KS, 66506-2302, USA
hatcliff@cis.ksu.edu

 

Coordinating Editor 

Tiziana Margaria 
Lero, the Irish Software Research Center Tierney
University of Limerick
1000 Limerick
Ireland
tiziana.margaria@lero.ie

 

Main Office  

Julia Rehder
Fachbereich Informatik, Programming Systems
TU Dortmund
44221 Dortmund, Germany
Tel. +49 (231) 755-5801
Fax +49 (231) 755-5802
sttt@cs.uni-dortmund.de

 

Editorial Board

Michael Butler
University of Southampton, UK
(Formal Methods)  

Alessandro Cimatti
Fondazione Bruno Kessler, Italy
(SMT solving)

W. Rance Cleaveland
University of Maryland, USA
(Testing) 

Jürgen Dingel
Queen’s University, Canada
(Product Lines)

Hubert Garavel
INRIA Rhône-Alpes, France
(Tools)  

Stefania Gnesi
ISTI-CNR, Italy
(Verification)  

Susanne Graf
VERIMAG, France
(Verification and Embedded Systems)  

Radu Grosu
TU Vienna, Austria
(Verification and Embedded Systems)

Gerard J. Holzmann
NASA/JPL, Pasadena, USA
(Tools)   

Jérôme Hugues
Université de Toulouse, France
(Product Lines)

Marieke Huisman
University of Twente, The Netherlands
(Verification)   

Michael Huth
Imperial College, UK
(Program Analysis and Security)

Joost-Pieter Katoen
RWTH Aachen, Germany
(Quantitative Methods and TACAS Liaison) 

Andreas Podelski
University of  Freiburg, Germany
(Constraint Systems)  

Jaco van de Pol
University of Twente, The Netherlands
(Tools)

Ina Schieferdecker
Technical University of Berlin and FhG FOKUS, Germany
(Testing) 

Scott Smolka
State University of New York, USA
(Process Algebras)

Scott Stoller
Stony Brook University, New York, USA
(Concurrent Systems)

Frits Vaandrager
Radboud University, The Netherlands
(Process Algebra, Model Inference) 

 

Advisory Board  

Manfred Broy, Technical University Munich, Germany
Edmund M. Clarke, Carnegie Mellon University, USA
Jeff Kramer, Imperial College, UK
Kim G. Larsen, Aalborg University, Denmark
Nancy Lynch
, MIT, USA
Josef Sifakis, VERIMAG, France
Mary Lou Soffa, University of Virginia, USA
Moshe Y. Vardi, Rice University, USA
Akinori Yonezawa, University of Tokyo, Japan

Read this Journal on Springerlink

For authors and editors


  • Journal Citation Reports®
    2016 Impact Factor
  • 1.612
  • Aims and Scope

    Aims and Scope

    Close

    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-based 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 publishing accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques.

    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, as well as an Opinion Corner with Position Papers and Reviews.

    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.

  • Submit Online
  • Open Choice - Your Way to Open Access
  • Instructions for Authors

    Instructions for Authors

    Close

  • English Language Editing

    English Language Editing

    Close

  • Author Academy: Training for Authors
  • Copyright Information

    Copyright Information

    Close

    Copyright Information

    For Authors

    Submission of a manuscript implies: that the work described has not been published before (except in form of an abstract or as part of a published lecture, review or thesis); that it is not under consideration for publication elsewhere; that its publication has been approved by all co-authors, if any, as well as – tacitly or explicitly – by the responsible authorities at the institution where the work was carried out.

    Author warrants (i) that he/she is the sole owner or has been authorized by any additional copyright owner to assign the right, (ii) that the article does not infringe any third party rights and no license from or payments to a third party is required to publish the article and (iii) that the article has not been previously published or licensed. The author signs for and accepts responsibility for releasing this material on behalf of any and all co-authors. Transfer of copyright to Springer (respectively to owner if other than Springer) becomes effective if and when a Copyright Transfer Statement is signed or transferred electronically by the corresponding author. After submission of the Copyright Transfer Statement signed by the corresponding author, changes of authorship or in the order of the authors listed will not be accepted by Springer.

    The copyright to this article, including any graphic elements therein (e.g. illustrations, charts, moving images), is assigned for good and valuable consideration to Springer effective if and when the article is accepted for publication and to the extent assignable if assignability is restricted for by applicable law or regulations (e.g. for U.S. government or crown employees).

    The copyright assignment includes without limitation the exclusive, assignable and sublicensable right, unlimited in time and territory, to reproduce, publish, distribute, transmit, make available and store the article, including abstracts thereof, in all forms of media of expression now known or developed in the future, including pre- and reprints, translations, photographic reproductions and microform. Springer may use the article in whole or in part in electronic form, such as use in databases or data networks for display, print or download to stationary or portable devices. This includes interactive and multimedia use and the right to alter the article to the extent necessary for such use.

    Authors may self-archive the Author's accepted manuscript of their articles on their own websites. Authors may also deposit this version of the article in any repository, provided it is only made publicly available 12 months after official publication or later. He/she may not use the publisher's version (the final article), which is posted on SpringerLink and other Springer websites, for the purpose of self-archiving or deposit. Furthermore, the Author may only post his/her version provided acknowledgement is given to the original source of publication and a link is inserted to the published article on Springer's website. The link must be accompanied by the following text: "The final publication is available at link.springer.com".

    Prior versions of the article published on non-commercial pre-print servers like arXiv.org can remain on these servers and/or can be updated with Author's accepted version. The final published version (in pdf or html/xml format) cannot be used for this purpose. Acknowledgement needs to be given to the final publication and a link must be inserted to the published article on Springer's website, accompanied by the text "The final publication is available at link.springer.com". Author retains the right to use his/her article for his/her further scientific career by including the final published journal article in other publications such as dissertations and postdoctoral qualifications provided acknowledgement is given to the original source of publication.

    Author is requested to use the appropriate DOI for the article. Articles disseminated via link.springer.com are indexed, abstracted and referenced by many abstracting and information services, bibliographic networks, subscription agencies, library networks, and consortia.

    For Readers

    While the advice and information in this journal is believed to be true and accurate at the date of its publication, neither the authors, the editors, nor the publisher can accept any legal responsibility for any errors or omissions that may have been made. The publisher makes no warranty, express or implied, with respect to the material contained herein.

    All articles published in this journal are protected by copyright, which covers the exclusive rights to reproduce and distribute the article (e.g., as offprints), as well as all translation rights. No material published in this journal may be reproduced photographically or stored on microfilm, in electronic data bases, video disks, etc., without first obtaining written permission from the publisher (respectively the copyright owner if other than Springer). The use of general descriptive names, trade names, trademarks, etc., in this publication, even if not specifically identified, does not imply that these names are not protected by the relevant laws and regulations.

    Springer has partnered with Copyright Clearance Center's RightsLink service to offer a variety of options for reusing Springer content. For permission to reuse our content please locate the material that you wish to use on link.springer.com or on springerimages.com and click on the permissions link or go to copyright.com, then enter the title of the publication that you wish to use. For assistance in placing a permission request, Copyright Clearance Center can be connected directly via phone: +1-855-239-3415, fax: +1-978-646-8600, or e-mail: info@copyright.com.


    © Springer-Verlag Berlin Heidelberg

Services for the Journal

Alerts for this journal

 

Get the table of contents of every new issue published in International Journal on Software Tools for Technology Transfer.