Корректность и устойчивость программных систем. Исключительные ситуации

Обсуждаются понятия корректности и устойчивости. Исключительные ситуации рассматриваются как нарушение корректной работы. Рассматривается роль операторов assert как стражей корректной работы.