International Journal on Software Tools for Technology Transfer

• Sender: owner-newjour@ccat.sas.upenn.edu

Subject: Software Tools for Technology Transfer
Date: Thu, 23 Jul 1998 17:15:15 -0400 (EDT)

International Journal on Software Tools for Technology Transfer

http://www.springerlink.com/content/101563/

ISSN: 1433-2779 (printed edition)
ISSN: 1433-2787 (electronic edition) 

About the Journal:

      The International Journal on Software Tools for
      Technology Transfer (STTT) provides a forum
      discussing all aspects of tools that aid in the
      development of computer systems. It is particularly
      intended to offer 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: 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 often are unaware of, and thus
      unable to use, work done by others. The situation is
      even more critical when considering the transfer of
      technology into industrial practice. 

      STTT remedies this situation by (1) publishing
      accessible papers that introduce researchers and
      practitioners to state-of-the-art tools and techniques, (2)
      channelling comments, queries, and feedback about
      tools and papers in the Online Forum with highlights
      published electronically, and (3) enabling via the
      Electronic Tool Integration (ETI) platform even
      non-experts to experiment with the integrated tools. - As
      STTT addresses a heterogeneous audience, great
      editorial emphasis is placed on clear, jargon-free
      exposition. 

      STTT focuses on three major technical themes:
      - Construction and analysis issues: 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; analysis of non-functional aspects of
      system behavior, such as realtime, probability, and
      efficiency
      - Practicality issues: performance, genericity, and
      us-ability of tools; case studies and experience reports;
      industrial use and feedback
      - Generic tool issues: paradigms (fully automated vs.
      interactive approaches); design issues (modularity,
      efficiency, portability, integrability, reusability);
      automatic support (tool generators, integrators, and
      interface builders); user interfaces (graphics,hypertext,
      retrieval) 

      Electronic Tool Integration (ETI) 

      The ETI platform is a refereed, interactive tool
      repository accessible as an online service. Visitors may
      experiment with individual tools using benchmarks as
      well as their own examples. ETI's automatic interfacing
      support helps in constructing and investigating
      heterogeneous tool combinations for solving complex
      tasks. A graphical interface, hypertext-based
      documentation, and a sophisticated retrieval mechanism
      are designed to provide intuitive guidance. - ETI is not a
      distribution platform: tool builders retain all legal rights
      to their software, and responsibilities for it.

Contact:

Bernhard Steffen, Editor-in-Chief (1), steffen@cs.uni-dortmund.de 
W. Rance Cleaveland , Editor-in-Chief (2), rance@csc.ncsu.edu