International Journal on Software Tools for Technology Transfer (STTT), Volume 1

Volume 1, Number 1-2, December 1997

• Rance Cleaveland, Tiziana Margaria, Bernhard Steffen:
  Editorial. 1-5
  Electronic Edition (Springer LINK) BibTeX

• Pierre Wolper:
  The Meaning of "Formal": From Weak to Strong Formal Methods. 6-8
  Electronic Edition (Springer LINK) BibTeX

• Bernhard Steffen, Tiziana Margaria, Volker Braun:
  The Electronic Tool Integration Platform: Concepts and Design. 9-30
  Electronic Edition (Springer LINK) BibTeX
• Volker Braun, Tiziana Margaria, Carsten Weise:
  Integrating Tools in the ETI Platform. 31-48
  Electronic Edition (Springer LINK) BibTeX
• Tiziana Margaria, Volker Braun, Jürgen Kreileder:
  Interacting with ETI: A User Session. 49-63
  Electronic Edition (Springer LINK) BibTeX

• Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
  Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. 64-85
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Thomas A. Henzinger:
  Real-Time System = Discrete System + Clock Variables. 86-109
  Electronic Edition (Springer LINK) BibTeX
• Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
  HYTECH: A Model Checker for Hybrid Systems. 110-122
  Electronic Edition (Springer LINK) BibTeX
• Sergio Yovine:
  KRONOS: A Verification Tool for Real-Time Systems. 123-133
  Electronic Edition (Springer LINK) BibTeX
• Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
  UPPAAL in a Nutshell. 134-152
  Electronic Edition (Springer LINK) BibTeX

• Philippe Leblanc:
  OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems. 153-165
  Electronic Edition (Springer LINK) BibTeX
• Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier:
  Protocol Verification with the ALDÉBARAN Toolset. 166-184
  Electronic Edition (Springer LINK) BibTeX