EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436). It has: an Eiffel compiler, an Eiffel GUI editor, a refactoring tool, Eiffel analysis tools and Eiffel libraries. Eiffel applies O-O principles and Design by Contract for quality.