Online Eiffel Documentation
EiffelStudio

Defining new metrics