You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Metric tool

 Topics:

 User interface basics
 Definitions
 Introduction
 Requirements