diff --git a/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki b/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki index c67a17a0..a942b0b8 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki @@ -1,6 +1,7 @@ [[Property:title|8 Design by Contract (tm), Assertions and Exceptions]] [[Property:link_title|ET: Design by Contract (tm), Assertions and Exceptions]] [[Property:weight|-8]] +[[Property:uuid|2ef367c9-34d9-d45e-a722-163b39581405]] Eiffel directly implements the ideas of Design by Contract™ , which enhance software reliability and provide a sound basis for software specification, documentation and testing, as well as exception handling and the proper use of inheritance. ==Design by Contract™ basics== diff --git a/documentation/current/method/index.wiki b/documentation/current/method/index.wiki index 7a03327f..8d2ec6bd 100644 --- a/documentation/current/method/index.wiki +++ b/documentation/current/method/index.wiki @@ -3,7 +3,14 @@ [[Property:weight|-3]] [[Property:uuid|ae6f212e-bdc6-d5f2-972a-1bfee586479e]] == The Eiffel Method and Language == - Introduce and teach the Eiffel method and language at multiple levels of detail + +Here you can learn about the Eiffel development method and Eiffel the language. + +At the heart of the Eiffel Development Framework is the Eiffel method. Everything else, the language, the tools, the libraries exist because of the method. The method is laid out in detail in Object-oriented Software Construction, 2nd Edition. But you will find some introductory material here. An "invitation" to Eiffel which is fairly short, and a tutorial which is more detailed. + +In order for us to communicate effectively about the activities of the method we must some way to record the products of those activities. That is what Eiffel the language does for us ... with the added benefit that, ultimately, we implement whole running software systems in the language. + + * An [[Invitation to Eiffel|Invitation to Eiffel]] * [[An Eiffel Tutorial|Eiffel tutorial]]