Tutorial Eiffel

An Eiffel TutorialInteractive Software Engineering§2Manual identificationTitle: An Eiffel Tutorial, ISE Technical Report TR-EI-66/TU.Publication historyFirst published July 2001. Corresponds to release 5.0 of the ISE Eiffel environment.AuthorBertrand Meyer.Software creditsSee acknowledgments in book Eiffel: The Language.Cover designRich Ayling.Copyright notice and proprietary informationCopyright © Interactive Software Engineering Inc. (ISE), 2001. May not be reproduced in any form (including electronic storage)without the written permission of ISE. “Eiffel Power” and the Eiffel Power logo are trademarks of ISE.All uses of the product documented here are subject to the terms and conditions of the ISE Eiffel user license. Any other use orduplication is a violation of the applicable laws on copyright, trade secrets and intellectual property.Special duplication permission for educational institutionsDegree-granting educational institutions using ISE Eiffel for teaching purposes as part of the Eiffel University Partnership Programmay be permitted under certain conditions to copy specific parts of this book. Contact ISE for details.About ISEISE (Interactive Software Engineering) helps you produce software better, faster and cheaper.ISE provides a wide range of products and services based on object technology, including ISE Eiffel, a completedevelopment environment for the full system lifecycle. ISE’s training courses, available worldwide, cover key ...