Online Eiffel Documentation
EiffelStudio

How to analyze a project