Методы проектирования программных систем

Купить бумажную книгу и читать

Название: Методы проектирования программных систем

Автор: Зиглер К.

Издательство: Мир

Год: 1985

Страниц: 328

Формат: DJVU

Размер: 17 Мб

Язык: русский

В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и оптимизации прогремм, написанных на языке высокого уровня.

Для системных программистов, инженеров-математиков и системотехников в области САПР.

Оглавление:

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

Предисловие автора

Введение

Качество программных систем

Постановка задачи

Проектирование системы

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

Системная документация

Упражнения

Проектирование систем

Определение основных компонентов системы

Методы разработки данных

Методы разработки средств управления

Проектная документация

Упражнения

Методы организации данных

Типы данных

Уровни организации данных

Уровень логической организации данных

Представление данных

Физическая организация данных

Документирование данных

Упражнения

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

Метод нисходящего проектирования

Метод расширения ядра

Метод восходящего проектирования

Анализ внутреннего потока данных

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

Программная документация

Упражнения

Алгоритмы

Типы алгоритмов

Способы реализации алгоритмов

Методы построения алгоритмов

Документация алгоритмов

Упражнения

Проектирование модулей

Структурированные алгоритмы

Схемы передач управления

Управляющие таблицы

Документация модулей

Упражнения

Реализация программного модуля

Подходы к реализации

Реализация данных

Реализация ввода-вывода

Реализация управления

Сложность программы

Оформление программы

Вспомогательные средства, используемые при реализации

Упражнения

Проверка правильности программ

Обнаружение ошибок

Тестирование модулей

Формальные методы доказательства правильности программ

Оценки ошибок

Средства защиты программных систем

Качество документации

Упражнения

Оптимизация программ

Экономия памяти

Экономия времени

Повышение эффективности программ

Средства оптимизации

Документирование показателей эффективности программы

Упражнения

Список терминов

Литература

Предметный указатель