mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-06 14:52:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:admin

Browse Source 
Date:2008-09-18T13:36:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@9 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
jfiat
2008-09-18 13:36:43 +00:00
parent 24602d5c65
commit 19383e09df
2 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki
View File

@@ -1,6 +1,7 @@
[[Property:title|8 Design by Contract (tm), Assertions and Exceptions]] [[Property:title|8 Design by Contract (tm), Assertions and Exceptions]]
[[Property:link_title|ET: Design by Contract (tm), Assertions and Exceptions]] [[Property:link_title|ET: Design by Contract (tm), Assertions and Exceptions]]
[[Property:weight|-8]] [[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. 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== ==Design by Contract™ basics==

9
documentation/current/method/index.wiki
View File

@@ -3,7 +3,14 @@
[[Property:weight|-3]] [[Property:weight|-3]]
[[Property:uuid|ae6f212e-bdc6-d5f2-972a-1bfee586479e]] [[Property:uuid|ae6f212e-bdc6-d5f2-972a-1bfee586479e]]
== The Eiffel Method and Language == == 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 [[Invitation to Eiffel|Invitation to Eiffel]]
* [[An Eiffel Tutorial|Eiffel tutorial]] * [[An Eiffel Tutorial|Eiffel tutorial]]