BON: The analysis and design method for reliability, reusability and reversibility; description of benefits and key concepts, with links. Eiffel Software.
A complete development system for Eiffel with Compiler, Workbench, Debugger, Libraries and additional Tools. It's available for WIndows and Linux. [Open source, GPL]