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
  

• Pierre Wolper:
  The Meaning of "Formal": From Weak to Strong Formal Methods. 6-8
  

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

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

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