'Proper Inheritance' - John Lakos [ ACCU 2016 ]

All essential behavior of our software must be documented, and yet there are important advantages, with respect to development, verification and testing, performance, and stability, for leaving the behavior for some combinations of inputs and initial conditions undefined. What is and is not defined behavior should therefore be readily discernible from the contract, especially when creating contracts that must span classes related by inheritance.

Видео 'Proper Inheritance' - John Lakos [ ACCU 2016 ] канала ACCU Conference