Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.
Здравствуйте, chukichuki, Вы писали:
C>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.
Предлагаю начать с классики т.е. с Э.Дейкстра "Дисциплина программирования" (
http://www.borlpasc.narod.ru/docym/disziplin/diz.htm)
Приходиться заниматься гадостью — зарабатывать на жизнь честным трудом (Б.Шоу)
Здравствуйте, fplab, Вы писали:
F>Здравствуйте, chukichuki, Вы писали:
C>>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.
F>Предлагаю начать с классики т.е. с Э.Дейкстра "Дисциплина программирования" (http://www.borlpasc.narod.ru/docym/disziplin/diz.htm)
Или лучше сразу в PDF (
http://nsouetova.sp.ru/descrete/library/dei.PDF)
Приходиться заниматься гадостью — зарабатывать на жизнь честным трудом (Б.Шоу)
Здравствуйте, chukichuki, Вы писали:
C>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.+
Отлично. Заодно может кто-нибудь объяснит мне такие слова:
Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.
А в функциональных языках что-же, все прекрасно? Чем на практике оборачивается данное утверждение?
С уважением, Gleb.
ЗЫ Посмотри лекции
здесьАвтор: GlebZ
Дата: 04.10.05
. Обрати внимание на лекции 4 и 5. Это что касается аксиоматической семантике ЯП на примере SML. Возможно это то, что тебе надо.
Здравствуйте, GlebZ, Вы писали:
GZ>Здравствуйте, chukichuki, Вы писали:
C>>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.+
GZ>Отлично. Заодно может кто-нибудь объяснит мне такие слова:
GZ>GZ>Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.
GZ>А в функциональных языках что-же, все прекрасно? Чем на практике оборачивается данное утверждение?
Видимо речь о том, что для ООП-программы гораздо труднее придумать непротиворечивую и полную аксимоатическую теорию нежели для процедурной или функциональной программы. Оно и понятно. ООП сделан так чтобы программировать как можно менее "строго". А на практике — хз. Я ни одной аксиоматической теории для реальных программ с реальными структурами данных не придумывал.
Здравствуйте, chukichuki, Вы писали:
CGZ>>GZ>>Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.
C>Видимо речь о том, что для ООП-программы гораздо труднее придумать непротиворечивую и полную аксимоатическую теорию нежели для процедурной или функциональной программы. Оно и понятно. ООП сделан так чтобы программировать как можно менее "строго". А на практике — хз. Я ни одной аксиоматической теории для реальных программ с реальными структурами данных не придумывал.
Да это-то понятно. Но здесь сказано как существенный недостаток тестирование и верификация. Очень хотелось бы узнать что это значит на практике.
С уважением, Gleb.
Здравствуйте, GlebZ, Вы писали:
GZ>Здравствуйте, chukichuki, Вы писали:
CGZ>>>GZ>>>Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.
C>>Видимо речь о том, что для ООП-программы гораздо труднее придумать непротиворечивую и полную аксимоатическую теорию нежели для процедурной или функциональной программы. Оно и понятно. ООП сделан так чтобы программировать как можно менее "строго". А на практике — хз. Я ни одной аксиоматической теории для реальных программ с реальными структурами данных не придумывал.
GZ>Да это-то понятно. Но здесь сказано как существенный недостаток тестирование и верификация. Очень хотелось бы узнать что это значит на практике.
GZ>С уважением, Gleb.
Ну. Правильно. Сложно построить адекватную фомальную теорию => сложно использовать верификационные методы основанные на аксиоматической семантике. Опять же автоматическое тестирование основанное на этих методах тоже идет лесом.
