Математика | ||||
Создание эффективного программного обеспечения - Кинг Д. М.: Мир, 1991. - 288 с., ил | ||||
Создание эффективного программного обеспечения - Кинг Д. М.: Мир, 1991. - 288 с., ил
Кинг Д. Создание эффективного программного обеспечения: Пер. с англ.- М.: Мир, 1991. - 288 с., ил. ISBN 5-03-002005-5 Книга известного американского специалиста представляет собой практическое руководство по конструированию и разработке программного обеспечения с использованием методики Джексона, одной из самых популярных в мире методик конструирования программ. Эта методика включает конструирование сверху вниз,структурное программирование и структурный контрольный анализ. В основе конструирования по Джексону лежит допущение о том, что структуры данных определяют структуру программы, оперирующей этими данными. Книга может служить и в качестве справочного руководства по методике Джексона. Приведены примеры разработки программ. Для системных и прикладных программистов и других специалистов в области вычислительной техники, а также для студентов соответствующих специальностей вузов. Предисловие редактора перевода Структурное программирование является предметом рассмотрения во множестве книг. Однако до сих пор в литературе по программированию на русском языке наблюдается некоторый пробел в отношении не зависящих от специфики конкретных языков программирования методик технологического воплощения принципов структурного программирования при конструировании реальных программ. В значительной мере этот пробел восполняется предлагаемой вниманию читателей книгой Д.Кинга, известного специалиста по программированию, опубликовавшего уже несколько монографий. В данной книге излагается популярная за рубежом и мало известная в нашей стране методика Джексона конструирования программ, которая основывается на систематизированном согласовании структур входных и выходных данных со структурой получаемой программы. Вводится ряд весьма полезных фундаментальных понятий; особый интерес представляют неформальная нотация структурированного изложения программы и алгоритмы инвертирования программ. Методика Джексона весьма эффективна и во многих случаях позволяет свести к минимуму количество ошибок программирования. Автор весьма подробно и наглядно описывает эту методику, иногда прибегая к повторениям особо важных тезисов, которые читатель должен усвоить в первую очередь. Приводятся многочисленные примеры использования методики Джексона, указываются возможности частичной автоматизации ее применения и намечаются ее перспективы на будущее. Книга написана живым, образным языком. По возможности мы пытались сохранить в переводе это своеобразие авторского стиля. В оригинале встречаются ошибки, нередко наблюдается непоследовательность в использовании шрифтов, прописных и строчных букв и т.д. При переводе мы старались устранять такие неточности. В. В. Мартынюк Оглавление Предисловие редактора перевода........................5 Предисловие...........................................6 Предисловие автора....................................7 Глава 1. Что такое конструирование программ?..........9 1.1 Что делают программы?............................9 1. 2 Типы программного обеспечения...................10 1. 3 Построение программы............................13 1. 4 Подход Джексона к конструированию...............16 1. 5 Назначение этой книги...........................18 Глава 2. Основы методики Джексона....................20 2.1 Источники методики Джексона.....................20 2. 2 Основные конструкции построения структур данных. 22 2. 3 Как строить структуры данных....................28 2. 4 Структуры данных' с точки зрения наблюдателя.....31 2. 5 Создание структур программ......................37 2. 6 Этапы конструирования программ..................44 Глава 3. Некоторые простые программы.................72 3.1 Общий подход....................................72 3. 2 Простая программа написания отчетов.............72 3. 3 Программа записей об избирателях................84 Глава 4. Хорошие и плохие данные.....................97 4.1 Допустимые данные...............................98 4. 2 Недопустимые данные.............................98 4. 3 Ошибочные данные...............................100 4.4 Конструирование программ для обработки ошибок. .101 4. 5 Более сложные ошибки...........................109 4. 6 Непредсказуемые сложные ошибки.................112 4. 7 Заключение.....................................112 Глава 5. Обработка непредсказуемых ошибок в данных и ситуаций (метод отката)...................113 5.1 Ситуация отката................................114 5. 2 Аналогия отката................................115 5. 3 Откат при конструировании программ.............120 5. 4 Реальные ситуации отката.......................128 Глава 6. Слияние нескольких наборов входных данных. .130 6.1 Проблема упорядочения..........................130 6. 2 Структуры упорядочиваемых данных...............131 6. 3 Структуры программы упорядочения...............134 6.4 Модификация основной структуры программы упорядочения..............................................144 6. 5 Заключение.....................................151 Глава 7. Более сложные проблемы программирования.... 152 7.1 А что, если нет соответствий?..................152 7. 2 Разрешение граничного столкновения.............161 7. 3 Разрешение перемешанного столкновения..........168 7. 4 Инвертирование программ........................181 7. 5 Инвертирование нескольких программ.............192 7. 6 Заметка о векторах состояний...................198 7. 7 Подпрограммы...................................200 7. 8 Заключение.....................................206 Глава 8. Методика Джексона и другие методы..........209 8.1 Для чего подходит методика Джексона............209 8.2 Методика Джексона и метод функциональной декомпозиции..............................................210 8. 3 Методики Варнье-Орра и Джексона................211 8. 4 Моделирование данных и методика Джексона.......213 8.5 Конструирование сверху вниз и методика Джексона...........................................213 8. 6 Методика Джексона и методология жизненного цикла..............................................214 8. 7 Заключение.....................................217 Глава 9. Методика Джексона и технология программирования...............................................218 9.1 Что мы понимаем под <технологией>?.............218 9. 2 Системы управления базами данных...............220 9. 3 Языки четвертого поколения.....................221 9. 4 Прикладные генераторы..........................222 9. 5 Построение прототипов..........................223 9. 6 Пакеты программ................................225 9. 7 Микрокомпьютеры................................226 9.8 Применение методики Джексона в интерактивной среде (для конструирования программ и систем....... 227 9, 9 Заключение.....................................230 Глава 10. Тестирование..............................231 10.1 Что такое тестирпование?......................231 ___________________________________ оглавление 28/ 10.2 Зачем нужно какое-либо тестирование (или почему программы и программистыне являются совершенными)?. 232 10.3 Различие между тестирпованием программ и систем.............................................233 10. 4 Тестирование <джексоновских> программ.........236 10. 5 Концепция тестирования........................237 Глава 11. Методика Джексона и проектирование систем. 239 11.1 Что такое система?............................239 11.2 Проектирование, ориентированное на выходные данные.............................................240 11. 3 Проектирование сложных систем.................241 11.4 Заключение....................................243 Глава 12. Рассмотрение кодирования..................244 12.1 Какая связь кодирования с конструированием программ?..........................................244 12.2 Кодирование основных конструкций..............245 12.3 Кодирование инвертированных программ..........250 12. 4 Как обращаться с операторами GOTO.............255 12. 5 Заключение....................................257 Глава 13. Реализация методики Джексона..............259 13.1 Можем ли мы сразу предложить всем пользоваться ею?................................................259 13. 2 Обучение......................................260 13. 3 Проблема документации.........................262 13.4 Необходимость поддержки со стороны руководства........................................265 13. 5 Заключение....................................265 Глава 14. Будущее методики Джексона.................267 14.1 Есть ли будущее у конструирования программ?... 267 14.2 Программирование в будущем....................272 14.3 Автоматизация процесса конструирования программ...........................................272 14. 4 Заключение....................................273 Литература..........................................274 Предметный указатель................................275 Оглавление..........................................285 Цена: 150руб. |
||||