References and Acknowledgments
Why use Eiffel for .NET?
Why Web Services?
Karine Arnout, Raphael Simon, The .NET Contract Wizard: Adding Design by Contract to languages other than Eiffel, TOOLS 39, IEEE Computer Society, p: 14-23, July 2001.
Karine Arnout, Eiffel for .NET: Combining the power of two object technology variants, TOOLS USA, IEEE Computer Society, July 2002 (will also be available online in a special issue of the Journal of Object Technology.
Eiffel Software Inc. Web sites at http://www.eiffel.com, http://dotnet.eiffel.com, http://dotnetexperts.com.
Eiffel Software Inc., An Eiffel for .NET Web service: The power of .NET, Eiffel, ASP.NET and Design by Contract.
Bertrand Meyer, Eiffel: The Language, Prentice Hall, 1992.
Bertrand Meyer, Object-Oriented Software Construction, 2nd edition, Prentice Hall, 1997.
Bertrand Meyer, .NET Is Coming, IEEE Computer, Vol. 34, N.8, August 2001; p: 92-97.
Bertrand Meyer, Design by Contract, Prentice Hall (in preparation).
Microsoft, Online .NET Library Documentation
Raphael Simon, Emmanuel Stapf, Bertrand Meyer, Full Eiffel on .NET (to appear in MSDN).
Software Development Magazine, The Eiffel Ethos, May 2002, available online at: http://www.sdmagazine.com/documents/s=7134/sdm0205e/0205e.htm
Software Engineering Institute, Volume II: Technical Concepts of Component-Based Software Engineering, CMU/SEI-2000-TR-008, 2000.
Many thanks to Bertrand Meyer professor of Software Engineering at the Swiss Federal Institute of Technology (ETH) in Zurich, Switzerland, scientific advisor of Eiffel Software Inc., and adjunct professor at the Monash University in Melbourne, Australiaand Eric BezaultEiffel consultant at CALFP bankfor their support, valuable comments, and suggestions. I am also grateful to Chris Ambarian (VP of Sales and Marketing for Eiffel Software Inc.) and Emmanuel Stapf (senior engineer at ESI, head of the compiler and environment division) for reviewing this article.