User Tools
eiffel:why:petition:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
eiffel:why:petition:start [2020/05/11 20:15] jonathan [Learning Software Design in Eiffel] |
eiffel:why:petition:start [2020/05/12 17:16] (current) jonathan [Learning Design by Contract in Eiffel] |
||
|---|---|---|---|
| Line 168: | Line 168: | ||
| The petition also claims that "other types of software design is not explored in depth", but this is not so as mentioned earlier and described in Design Principles mentioned in [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/why#design_principles_covered_in_the_course|why eiffel: Fig 1]]. Many other design principles are covered in depth and applied in many design patterns (covered throughout the course in depth). | The petition also claims that "other types of software design is not explored in depth", but this is not so as mentioned earlier and described in Design Principles mentioned in [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/why#design_principles_covered_in_the_course|why eiffel: Fig 1]]. Many other design principles are covered in depth and applied in many design patterns (covered throughout the course in depth). | ||
| - | Ada and Eiffel provide native language support for Design by Contract, but the principle that **specifications** are integral to design carries over to designing in any language. The Unified Modeling Language (UML) is the //de facto// modelling language in software engineering thus supports Design by Contract in the form of OCL (Object Constraint Language). For other methods of specification, see [[https://youtu.be/-4Yp3j_jk8Q|Video: Thinking Above the Code]], | + | Ada and Eiffel provide native language support for Design by Contract, but the principle that **specifications** are integral to design carries over to designing in any language. The Unified Modeling Language (UML) is the //de facto// modelling language in software engineering thus supports Design by Contract in the form of OCL (Object Constraint Language). For other methods of specification, see [[https://youtu.be/-4Yp3j_jk8Q|Video: Thinking Above the Code]] and [[https://youtu.be/GMQMzk3DZug|Specifications in Industry]] at Amazon, Google and Facebook. |
| ==== Learning Software Design in Eiffel ==== | ==== Learning Software Design in Eiffel ==== | ||
eiffel/why/petition/start.1589228126.txt.gz · Last modified: 2020/05/11 20:15 by jonathan
Page Tools
