М.: Национальный Открытый Университет «ИНТУИТ»: БИНОМ. Лаборатория
знаний, 2011. —775 с.
Язык русский. Качество изначально компьютерное (eBook).
Оригинал на английском /file/869766/ Автор книги Бертран Мейер является одним из ведущих ученых в области инженерии программного обеспечения. Он автор девяти книг. Им опубликовано более 250 научных работ. В настоящее время заведующий знаменитой кафедры Software Engineering в швейцарском ETH (Eidgenoessische Technische Hochschule) — Высшей Политехнической школе в Цюрихе. Создатель языка программирования Eiffel. Новая книга Бертрана Мейера посвящена важному направлению в теории и практике программирования, а именно программной инженерии, девизом которой может служить выражение: программа не только должна быть написана, но и должна правильно работать. В книге обобщен многолетний опыт обучения программированию в ЕТН. В ней удачно сочетаются три грани, характерные для профессионального программирования, - наука, искусство и инженерия. Она в первую очередь ориентирована на студентов, обучающихся в области информационных технологий, и их преподавателей, но представляет несомненный интерес для всех программистов, создающих программный продукт высокого качества. В книге излагаются основы объектно-ориентированного программирования (ООП). Особое внимание уделяется корректности программ за счет введения контрактов - предусловий, постусловий методов класса, инвариантов классов. Глубоко и подробно рассматриваются такие механизмы ООП, как наследование и универсальность. Изучаются алгоритмы и структуры данных - массивы, кортежи, списки, хэш-таблицы, различные виды распределителей, деревья. Подробно рассматриваются рекурсивные алгоритмы и рекурсивные структуры данных. Даются основы лямбда-исчисления и вводятся агенты, поддерживающие функциональный тип данных.
Язык Eiffel используется как рабочий язык программирования. Книга содержит предисловие и шесть частей. Первая часть посвящена основам: введение в круг основных понятий, понимание объектов и работа с ними, основы структуры программ, интерфейс класса, логические отношения рассматриваемых понятий, создание объектов и выполняемых систем. Здесь же дается описание структур управления, понятие подпрограмм, функциональной абстракции и сокрытия информации, кроме того, объясняются понятия переменных, присваивания и ссылок. Во второй части книги даются краткие сведения об аппаратных представлениях в части кодирования данных, о памяти, командах компьютера и т. п. Затем приводится описание синтаксиса языка, используемого в книге, а также того, что представляет собой язык программирования и инструментарий работы с программными текстами. Алгоритмы и структуры данных и работа с ними составляют содержание третьей части книги, внимание в которой уделяется фундаментальным структурам данных, а также универсальности и сложности алгоритмов. Рассмотрены виды обработки данных — рекурсия и деревья. В частности, бинарные деревья и различные виды перебора, переходы от циклов к рекурсии. Понимание рекурсии автор связывает с построением контрактов для рекурсивных программ. Отдельно представлены материалы по проектированию и инженерии алгоритма, связанного с топологической сортировкой. Приемам программирования посвящена четвертая часть книги. Первый вид приемов связан с наследованием применительно к объектам и классам, а также к контрактам. Другой вид рассматривает операции как объекты через агентов и лямбда-исчисление. Здесь же описывается процесс проектирования и управление событиями. Пятая часть носит название «Цель – инженерия программ» и посвящена построению качественного ПО. Шестая часть состоит из приложений, охватывающих введение в языки Java, C#, C++, описание перехода от C++ к Cи и использование среды программирования EiffelStudio. Круг читателей книги Мейера охватывает как действующих программистов, которые хотят овладеть методами программной инженерии, гарантирующими качество работы, так и всех, кто стремятся стать профессиональными программистами. Отдельное внимание в своей работе Мейер уделяет преподавателям, «обращая их в веру», что ООП ведет к созданию качественного ПО. Книга представляет во многих смыслах образец достойных публикаций по программированию, как в части содержания, так и в части авторского представления материала, поэтому, безусловно, читатель воспримет ее с благодарностью.
Оригинал на английском /file/869766/ Автор книги Бертран Мейер является одним из ведущих ученых в области инженерии программного обеспечения. Он автор девяти книг. Им опубликовано более 250 научных работ. В настоящее время заведующий знаменитой кафедры Software Engineering в швейцарском ETH (Eidgenoessische Technische Hochschule) — Высшей Политехнической школе в Цюрихе. Создатель языка программирования Eiffel. Новая книга Бертрана Мейера посвящена важному направлению в теории и практике программирования, а именно программной инженерии, девизом которой может служить выражение: программа не только должна быть написана, но и должна правильно работать. В книге обобщен многолетний опыт обучения программированию в ЕТН. В ней удачно сочетаются три грани, характерные для профессионального программирования, - наука, искусство и инженерия. Она в первую очередь ориентирована на студентов, обучающихся в области информационных технологий, и их преподавателей, но представляет несомненный интерес для всех программистов, создающих программный продукт высокого качества. В книге излагаются основы объектно-ориентированного программирования (ООП). Особое внимание уделяется корректности программ за счет введения контрактов - предусловий, постусловий методов класса, инвариантов классов. Глубоко и подробно рассматриваются такие механизмы ООП, как наследование и универсальность. Изучаются алгоритмы и структуры данных - массивы, кортежи, списки, хэш-таблицы, различные виды распределителей, деревья. Подробно рассматриваются рекурсивные алгоритмы и рекурсивные структуры данных. Даются основы лямбда-исчисления и вводятся агенты, поддерживающие функциональный тип данных.
Язык Eiffel используется как рабочий язык программирования. Книга содержит предисловие и шесть частей. Первая часть посвящена основам: введение в круг основных понятий, понимание объектов и работа с ними, основы структуры программ, интерфейс класса, логические отношения рассматриваемых понятий, создание объектов и выполняемых систем. Здесь же дается описание структур управления, понятие подпрограмм, функциональной абстракции и сокрытия информации, кроме того, объясняются понятия переменных, присваивания и ссылок. Во второй части книги даются краткие сведения об аппаратных представлениях в части кодирования данных, о памяти, командах компьютера и т. п. Затем приводится описание синтаксиса языка, используемого в книге, а также того, что представляет собой язык программирования и инструментарий работы с программными текстами. Алгоритмы и структуры данных и работа с ними составляют содержание третьей части книги, внимание в которой уделяется фундаментальным структурам данных, а также универсальности и сложности алгоритмов. Рассмотрены виды обработки данных — рекурсия и деревья. В частности, бинарные деревья и различные виды перебора, переходы от циклов к рекурсии. Понимание рекурсии автор связывает с построением контрактов для рекурсивных программ. Отдельно представлены материалы по проектированию и инженерии алгоритма, связанного с топологической сортировкой. Приемам программирования посвящена четвертая часть книги. Первый вид приемов связан с наследованием применительно к объектам и классам, а также к контрактам. Другой вид рассматривает операции как объекты через агентов и лямбда-исчисление. Здесь же описывается процесс проектирования и управление событиями. Пятая часть носит название «Цель – инженерия программ» и посвящена построению качественного ПО. Шестая часть состоит из приложений, охватывающих введение в языки Java, C#, C++, описание перехода от C++ к Cи и использование среды программирования EiffelStudio. Круг читателей книги Мейера охватывает как действующих программистов, которые хотят овладеть методами программной инженерии, гарантирующими качество работы, так и всех, кто стремятся стать профессиональными программистами. Отдельное внимание в своей работе Мейер уделяет преподавателям, «обращая их в веру», что ООП ведет к созданию качественного ПО. Книга представляет во многих смыслах образец достойных публикаций по программированию, как в части содержания, так и в части авторского представления материала, поэтому, безусловно, читатель воспримет ее с благодарностью.