Table of contents

1. History and goals of the SmartEiffel project
2. Lecture of Object-Oriented programming and Design by Contract in Eiffel
   1. To start with Comparison of Objects
   2. Cloning Objects
   3. All details about Object Comparison
3. The SmartEiffel general purpose library
   1. How to use the library
   2. Design of the library
4. Guided tour in the SmartEiffel tutorial
5. SmartEiffel's tools documentation
6. The Eiffel language of SmartEiffel
   1. A definition of Void
   2. tuples
   3. agents
   4. Precursor
   5. manifest storage notation
   6. dynamic type testing
   7. INTEGER typing
   8. non-conforming inheritance
   9. Why there are no threads
7. The SmartEiffel FAQ
8. Appendices
   1. Author guidelines for this collective book
9. Bibliography