EiffelStudio

EiffelStudio is an Integrated Development Environment (IDE), an application that provides comprehensive facilities to computer programmers for software development, powered by the Eiffel language.

It has a comprehensive suite of tools and services that enable programmers to produce correct, reliable, and maintainable software and control the development process.