EiffelStudio 14.05
EiffelStudio is a full-featured IDE for the Eiffel programming language. It assists Design-by-Contract development, and generates high performance executables based on the Melting Ice Technology with fast incremental compilation. It's cross-platform compatible, provides a smart code editor, multi-view browsing and viewing, and interactive debugger. It also comes with a graphical modeling tool for UML and BON, refactoring features, and a GUI development tool (EiffelBuild) and library (EiffelVis