Здравствуйте, GlebZ, Вы писали:

GZ>Здравствуйте, chukichuki, Вы писали:

C>>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.+
GZ>Отлично. Заодно может кто-нибудь объяснит мне такие слова:
GZ>

GZ>Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.

GZ>А в функциональных языках что-же, все прекрасно? Чем на практике оборачивается данное утверждение?

Видимо речь о том, что для ООП-программы гораздо труднее придумать непротиворечивую и полную аксимоатическую теорию нежели для процедурной или функциональной программы. Оно и понятно. ООП сделан так чтобы программировать как можно менее "строго". А на практике — хз. Я ни одной аксиоматической теории для реальных программ с реальными структурами данных не придумывал.