В турский методология программирования

В турский методология программирования

Предисловие редактора перевода. 5

Как пользоваться этой книгой. 10

2. Основные программные конструкты. 16

2.1.1. Оператор — последовательность — выбор — повторение. 17

2.1.2. Неформальные соображения по поводу правильности. 35

2.1.3. Формальные свойства и не строго детерминированные конструкты. 43

2.2.1. Элементарные структуры. 58

2.2.2. Примеры составных структур. 70

2.2.3. Структуры и операции — алгебры программ. 79

3. Взаимодействие модулей. 90

3.1.1. Принцип относительной независимости. 91

3.1.2. Преобразования структуры программы. 107

3.1.3. Межмодульные интерфейсы. 116

3.1.4. Неполные спецификации. 124

3.2. Асинхронное взаимодействие. 133

3.2.1. Интуитивно выдвигаемые принципы. 133

3.2.2. Формальные свойства. 144

3.2.3. Лингвистические соображения. 156

4. Проектирование программ. 165

4.1.1. Слои конечного продукта. 166

4.1.2. Аналитический и синтетический подходы к проектированию программ. 175

4.1.3. Получение заранее спроектированной расслоенной структуры. 193

4.2. Процесс программирования. 202

4.2.1. Виды деятельности, цели и факторы. 202

4.2.2. Бригадная организация работ. 209

4.2.3. Принципы документирования. 218

4.3. Разработка надежных программ. 227

4.4. Усовершенствование программ. 238

4.5. Сопровождение программ. 247

В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор материала не вполне. (Подробнее)

В книге Питера Т. Лисона на примере истории пиратских сообществ начала XVIII века обсуждаются проблемы экономического равновесия в условиях криминализованного сообщества. Мотивы и стимулы поведения членов таких сообществ вскрыты в книге с помощью современных методов экономического анализа. (Подробнее)

На основе марксистской методологии и огромного фактического материала известный российский ученый Ю. И. Семенов предлагает собственную цельную и логически стройную интерпретацию философии как универсальной системы человеческого знания, взятого в единстве абстрактного мышления и эмпирического опыта. (Подробнее)

Перед читателями — выдающийся труд, ставший классическим учебником по бильярдному спорту и, в более широком смысле, искусству игры в бильярд. И хотя он был создан во второй половине XIX века, по широте охвата материала, яркому языку и строгому стилю изложения он и в наше время может считаться. (Подробнее)

Первая однотомная биография, написанная после опубликования более тридцати тысяч писем Наполеона Бонапарта, которые заставили историков радикально пересмотреть свои взгляды на его характер и устремления. Наконец-то мы видим великого полководца и государственного деятеля таким, каким он был на самом деле. (Подробнее)

Книга социолога Анны Очкиной представляет собой серию эссе, статей и заметок, из которых складывается картина российского общества последнего тридцатилетия, его странностей, проблем и противоречий, его инерционности и динамичности. Последовательно рассматривая разные стороны социальной жизни, автор объясняет. (Подробнее)

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

Автор этой книги Николай Александрович Бернштейн (1896 — 1966 гг.) — выдающийся ученый, член корреспондент Академии медицинских наук СССР, лауреат Государственной премии СССР, создатель нового направления в науке — физиологии активности, первооткрыватель ряда ее законов.

В новой монографии профессора В. Н. Лексина представлены результаты исследования феноменально быстрого становления искусственного интеллекта (далее — ИИ) предметом большой экономики, большой политики и все более значимой составляющей частной жизни.

Критически оцениваются различные подходы к определению. (Подробнее)

На интересных примерах из социальной жизни стран Америки и Европы анализируются вопросы из области религии и политики. Прослеживается эволюция религии и ее философские особенности. Книга ориентирована на то, чтобы стать примером теоретических усилий, опирающихся на уважение к истине и инструменты. (Подробнее)

Источник

Турский В. Методология программирования

Методология программирования — это совокупность идей, понятий, принципов, способов и средств, определяющая стиль написания, отладки и сопровождения программ. Книга охватывает три круга вопросов: основные программные конструкты, модульная структура программ и проектирование программ.

Оглавление.
Предисловие редактора перевода.
Предисловие.
Как пользоваться этой книгой.
Введение.
Основные программные конструкты.
Операции.
Оператор — последовательность — выбор — повторение.
Неформальные соображения по поводу правильности.
Формальные свойства и не строго детерминированные конструкты.
Данные.
Элементарные структуры.
Примеры составных структур.
Структуры и операции — алгебры программ.
Взаимодействие модулей.
Модули и процедуры.
Принцип относительной независимости.
Преобразования структуры программы.
Межмодульные интерфейсы.
Неполные спецификации.
Асинхронное взаимодействие.
Интуитивно выдвигаемые принципы.
Формальные свойства.
Лингвистические соображения.
Проектирование программ.
Решение проблемы.
Слои конечного продукта.
Аналитический и синтетический подходы к проектированию программ.
Получение заранее спроектированной расслоенной структуры.
Процесс программирования.
Виды деятельности, цели и факторы.
Бригадная организация работ.
Принципы документирования.
Разработка надежных программ.
Усовершенствование программ.
Сопровождение программ.
Список литературы.

• Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
• Регистрация

• Узнайте сколько стоит уникальная работа конкретно по Вашей теме:
• Сколько стоит заказать работу?

Источник

«Нестор польской информатики»: В. М. Турский

18 июля уходящего года умер Владислав Марек Турский, и на это событие не откликнулись известные мне англоязычные и русскоязычные источники.

Сначала я полагал, что компьютеры нужны, чтобы считать, потом — что они нужны для исполнения программ, а теперь думаю, что они просто должны быть!

В. М. Турский (Władysław Marek Turski) родился в 1938 г. в Кракове, учился астрономии в МГУ (выпуск 1960 г.), затем математике и физике в Университете Варшавы (1962), стажировался в Англии и США. С 1972 г. он работал в Институте вычислительных машин (MERA). Начинал программировать на советской машине «Урал-2», затем — писал ОС «SODA» для первого польского компьютера, «Odra 1204» — передовой разработки своего времени, экспортировавшейся во многие страны.

Турский был в числе основателей и первым президентом Польского общества информатики (1981–87, вице-президент в 1987–1993; несмотря на тяжелую болезнь, он продолжал активно участвовать в работе ПОИ до последних лет), профессором Варшавского университета, а в 1977–82 гг. — директором Института информатики Польской академии наук, членом Королевской академии инженерного дела (Великобритания) и Британского компьютерного общества. Последнее включило его в состав заслуженных членов — наряду с Э. Дейкстрой, А. П. Ершовым, Д. Кнутом., Г. Хоппер, А. Хоаром.

Турский был одним из руководителей Рабочей группы по методологии программирования Технического комитета по программированию Международной федерации обработки информации (IFIP) — в знаменитой РГ 2.3 были тогда Н. Вирт, Д. Грис, Э. Дейкстра, П. Наур, Д. Парнас и многие другие ученые, определившие, как потом стало ясно, лицо информатики в 1970–80-ые гг., — и стал одним из подписантов «особого мнения» об алголе-68, (см. Thomas Haigh. Dijkstra’s Crisis: The End of Algol and Beginning of Software Engineering, 1968-72).

Он председательствовал на Всемирном конгрессе по информатике 1977 г., был членом редколлегий ведущих специальных изданий, частым лектором и докладчиком во многих странах.

Турский — автор многочисленных статей и нескольких книг, в частности, замечательного «Введения в программирование» («Propedeutyka informatyki», 1975, 1981, англ. «Informatics: A Propædeutic View», 2000), из которых на русском издавалась, кажется, только «Методология программирования» (М.: Мир, 1981), и это одна из немногих книг по программированию, «методология» в названии которой означает не просто методику («В программировании, — отмечал Н. Н. Непейвода, — происходит систематическая „возгонка“ понятий. То, что в других местах называется орудием, здесь называется методом; то, что называется методом или методикой, называется методологией; то, что называется методологией, возводится в ранг парадигмы, и т. д.» — Непейвода Н. Н., Скопин И. Н. Основания программирования. — 2003. С. 108).

«Методология программирования» отвечает повестке своего времени, там не найти модных и многих действительно актуальных сегодня тем, но множество соображений заставляют перечитывать ее с интересом и сейчас. Книга великолепно написана (поляки отмечают, что Турский был еще и замечательным эссеистом, пишущим на самые разные темы) и сочетает строгость изложения с интеллигентностью стиля и специфически польским юмором.

Проектирование моста и возведение моста через реку — это два тесно связанных, но легко разделяемых вида деятельности … Проектирование и создание программы не только тесно связаны; их очень трудно отделить одно от другого. …

На практике я несколько раз встречался с бригадами, разрабатывающими довольно сложные программы в точно в установленный срок. Все такие примеры можно отнести к двум категориям: 1) очень опытный коллектив … 2) студенты выполняющие курсовые работы к сроку защиты. … Опыт как раз и позволяет им искусственно завысить трудность предлагаемой работы и добиться льготных сроков (с. 212–213).

Так писал В. М.Турский. А вот здесь — неожиданное стихотворение.

Источник

Турский В. Методология программирования

Методология программирования — это совокупность идей, понятий, принципов, способов и средств, определяющая стиль написания, отладки и сопровождения программ. Книга охватывает три круга вопросов: основные программные конструкты, модульная структура программ и проектирование программ.

Оглавление.
Предисловие редактора перевода.
Предисловие.
Как пользоваться этой книгой.
Введение.
Основные программные конструкты.
Операции.
Оператор — последовательность — выбор — повторение.
Неформальные соображения по поводу правильности.
Формальные свойства и не строго детерминированные конструкты.
Данные.
Элементарные структуры.
Примеры составных структур.
Структуры и операции — алгебры программ.
Взаимодействие модулей.
Модули и процедуры.
Принцип относительной независимости.
Преобразования структуры программы.
Межмодульные интерфейсы.
Неполные спецификации.
Асинхронное взаимодействие.
Интуитивно выдвигаемые принципы.
Формальные свойства.
Лингвистические соображения.
Проектирование программ.
Решение проблемы.
Слои конечного продукта.
Аналитический и синтетический подходы к проектированию программ.
Получение заранее спроектированной расслоенной структуры.
Процесс программирования.
Виды деятельности, цели и факторы.
Бригадная организация работ.
Принципы документирования.
Разработка надежных программ.
Усовершенствование программ.
Сопровождение программ.
Список литературы.

• Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
• Регистрация

• Узнайте сколько стоит уникальная работа конкретно по Вашей теме:
• Сколько стоит заказать работу?

Источник

Турский В. Методология программирования

Методология программирования — это совокупность идей, понятий, принципов, способов и средств, определяющая стиль написания, отладки и сопровождения программ. Книга охватывает три круга вопросов: основные программные конструкты, модульная структура программ и проектирование программ.

Оглавление.
Предисловие редактора перевода.
Предисловие.
Как пользоваться этой книгой.
Введение.
Основные программные конструкты.
Операции.
Оператор — последовательность — выбор — повторение.
Неформальные соображения по поводу правильности.
Формальные свойства и не строго детерминированные конструкты.
Данные.
Элементарные структуры.
Примеры составных структур.
Структуры и операции — алгебры программ.
Взаимодействие модулей.
Модули и процедуры.
Принцип относительной независимости.
Преобразования структуры программы.
Межмодульные интерфейсы.
Неполные спецификации.
Асинхронное взаимодействие.
Интуитивно выдвигаемые принципы.
Формальные свойства.
Лингвистические соображения.
Проектирование программ.
Решение проблемы.
Слои конечного продукта.
Аналитический и синтетический подходы к проектированию программ.
Получение заранее спроектированной расслоенной структуры.
Процесс программирования.
Виды деятельности, цели и факторы.
Бригадная организация работ.
Принципы документирования.
Разработка надежных программ.
Усовершенствование программ.
Сопровождение программ.
Список литературы.

• Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
• Регистрация

• Узнайте сколько стоит уникальная работа конкретно по Вашей теме:
• Сколько стоит заказать работу?

Источник