Full Eiffel on . NET †

The full power of the Eiffel language and method, including Design by ContractTM, multiple inheritance, genericity and many other advanced facilities, is now available on the Microsoft .NET framework. Eiffel for .NET establishes a powerful basis for the construction of extendible, high-reliability applications, providing a unique platform for integrating components produced with many different languages and approaches, and bringing the benefits of Design by Contract to the .NET world. We describe the work done to integrate the two technologies, and the resulting tools for constructing ambitious enterprise and Web systems. †An earlier version of this article appeared in July, 2000 under the title Eiffel on the Web: Integrating Eiffel systems into .NET (by the present authors and Christine Mingins). The present version describes the current state of the implementation, supporting the full Eiffel language.