Устаревшие материалы
Информатика и вычислительная техника
  • формат djvu
  • размер 16,15 МБ
  • добавлен 05 февраля 2014 г.
Зиглер К. Методы проектирования программных систем
М.: Мир, 1985. - 328 с. Перевод с английского к.т.н. М.В.Сергиевского, к.т.н. А.В.Шалашова, А.В.Чукашова и А.Е.Кондратьева под ред. д.т.н. Я.А.Хетагурова. Оригинальное название: Programming System Methodologies, by Carol A. Ziegler. Prentice-Hall, Inc. 1983
В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и оптимизации прогремм, написанных на языке высокого уровня.
Для системных программистов, инженеров-математиков и системотехников в области САПР.
Оглавление:
Предисловие редактора перевода
Предисловие автора
Введение
Качество программных систем
Постановка задачи
Проектирование системы
Вспомогательные средства проектирования
Системная документация
Упражнения
Проектирование систем
Определение основных компонентов системы
Методы разработки данных
Методы разработки средств управления
Проектная документация
Упражнения
Методы организации данных
Типы данных
Уровни организации данных
Уровень логической организации данных
Представление данных
Физическая организация данных
Документирование данных
Упражнения
Проектирование программ
Метод нисходящего проектирования
Метод расширения ядра
Метод восходящего проектирования
Анализ внутреннего потока данных
Вспомогательные средства проектирования программ
Программная документация
Упражнения
Алгоритмы
Типы алгоритмов
Способы реализации алгоритмов
Методы построения алгоритмов
Документация алгоритмов
Упражнения
Проектирование модулей
Структурированные алгоритмы
Схемы передач управления
Управляющие таблицы
Документация модулей
Упражнения
Реализация программного модуля
Подходы к реализации
Реализация данных
Реализация ввода-вывода
Реализация управления
Сложность программы
Оформление программы
Вспомогательные средства, используемые при реализации
Упражнения
Проверка правильности программ
Обнаружение ошибок
Тестирование модулей
Формальные методы доказательства правильности программ
Оценки ошибок
Средства защиты программных систем
Качество документации
Упражнения
Оптимизация программ
Экономия памяти
Экономия времени
Повышение эффективности программ
Средства оптимизации
Документирование показателей эффективности программы
Упражнения
Список терминов
Литература
Предметный указатель
Сканирование: текст 600 dpi b/w, обложка 100 dpi color.