Interacting with ETI: a user session

This paper introduces the ETI Online Service from a user’s point of view. Following a user session, it discusses various options and interaction aspects, comprising registration modalities, the online discussion forum, and the tool coordination and evaluation capabilities. The presentation is by no means comprehensive. Interested readers are referred to http://eti.cs. uni-dortmund.de/ for continuously updated information about the ETI service.

[1]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[2]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[3]  Alain Kerbrat,et al.  Protocol verification with the ALDÉBARAN toolset , 1997, International Journal on Software Tools for Technology Transfer.

[4]  Tiziana Margaria,et al.  The METAFrame'95 Environment , 1996, CAV.

[5]  Thomas A. Henzinger,et al.  HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.

[6]  Tiziana Margaria,et al.  Graphs in METAFrame: The Unifying Power of Polymorphism , 1997, TACAS.

[7]  Mary Campione,et al.  The Java Tutorial: Object-Oriented Programming for the Internet , 1996 .

[8]  Kim G. Larsen,et al.  Continuous modeling of real-time and hybrid systems: from concepts to tools , 1997, International Journal on Software Tools for Technology Transfer.

[9]  Tiziana Margaria,et al.  Integrating tools in the ETI platform , 1997, International Journal on Software Tools for Technology Transfer.

[10]  Alain Kerbrat,et al.  CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.

[11]  Hubert Garavel.  An Overview of the Eucalyptus Toolbox , 1996 .

[12]  Sergio Yovine,et al.  KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.

[13]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.