Методы проектирования программных систем - В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и оптимизации прогремм, написанных на языке высокого уровня. Для системных программистов, инженеров-математиков и системотехников в области САПР.
Название: Методы проектирования программных систем Автор: Зиглер К. Издательство: Мир Год: 1985 Страниц: 328 Формат: DJVU Размер: 16,6 МБ Качество: Отличное Язык: Русский
Содержание:
Предисловие редактора перевода Предисловие автора Глава 1. Введение 1.1. Качество программных систем 1.2. Постановка задачи 1.3. Проектирование системы 1.4. Вспомогательные средства проектирования 1.5. Системная документация 1.6. Упражнения Глава 2. Проектирование систем 2.1. Определение основных компонентов системы 2.2. Методы разработки данных 2.3. Методы разработки средств управления 2.4. Проектная документация 2.5. Упражнения Глава 3. Методы организации данных 3.1. Типы данных 3.2. Уровни организации данных 3.3. Уровень логической организации данных 3.4. Представление данных 3.5. Физическая организация данных 3.6. Документирование данных 3.7. Упражнения Глава 4. Проектирование программ 4.1. Метод нисходящего проектирования 4.2. Метод расширения ядра 4.3. Метод восходящего проектирования 4.4. Анализ внутреннего потока данных 4.5. Вспомогательные средства проектирования программ 4.6. Программная документация 4.7. Упражнения Глава 5. Алгоритмы 5.1. Типы алгоритмов 5.2. Способы реализации алгоритмов 5.3. Методы построения алгоритмов 5.4. Документация алгоритмов 5.5. Упражнения Глава 6. Проектирование модулей 6.1. Структурированные алгоритмы 6.2. Схемы передач управления 6.3. Управляющие таблицы 6.4. Документация модулей 6.5. Упражнения Глава 7. Реализация программного модуля 7.1. Подходы к реализации 7.2. Реализация данных 7.3. Реализация ввода-вывода 7.4. Реализация управления 7.5. Сложность программы 7.6. Оформление программы 7.7. Вспомогательные средства, используемые при реализации 7.8. Упражнения Глава 8. Проверка правильности программ 8.1. Обнаружение ошибок 8.2. Тестирование модулей 8.3. Формальные методы доказательства правильности программ 8.4. Оценки ошибок 8.5. Средства защиты программных систем 8.6. Качество документации 8.7. Упражнения Глава 9. Оптимизация программ 9.1. Экономия памяти 9.2. Экономия времени 9.3. Повышение эффективности программ 9.4. Средства оптимизации 9.5. Документирование показателей эффективности программы 9.6. Упражнения Список терминов Литература Предметный указатель
