Упражнения к лекции 2.

1.1 Что такое информационная среда программы?

1.2 Что такое программное средство (ПС)?

1.3 Что такое ошибка в ПС?

1.4 Что такое надежность ПС?

1.5 Что такое технология программирования?

Литература к лекции 2.

2.1. И.Г.Гоулд, Дж.С.Тутилл. Терминологическая работа IFIP (Международная федерация по обработке информации) и ICC (Международный вычислительный центр) // Журн. вычисл. матем. и матем. физ., 1965, #2. - С. 377-386.

2.2. Г.Майерс. Надежность программного обеспечения. - М.: Мир, 1980.

2.3. Ian Sommerville. Software engineering. - Addison-Wesley Publishing Company, 1992.

2.4. Э. Дейкстра. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 7-97.

2.5. Criteria for evaluation of software. - ISO TC97/SC7 #367 (Supersedes Document #327).

2.6. С.И. Ожегов. Словарь русского языка. - М.: Советская энциклопедия, 1975.

2.7. Ф.Я. Дзержинский, И.М. Калиниченко. Дисциплина программирования Д: концепция и опыт реализации методических средств программной инженерии. - М.: ЦНИИ информации и технико-экономических исследований по атомной науке и технике, 1988.

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

2.9. Г. Буч. Объектно-ориентированное проектирование с примерами применения. - М.: Конкорд, 1992.

2.10. Е.А. Жоголев. Система программирования с использованием библиотеки подпрограмм / Система автоматизация программирования. - М.: Физматгиз, 1961. - С. 15-52.

2.11. Ф.П. Брукс, мл. Как проектируются и создаются программные комплексы. - М.: Наука, 1979.

2.12. R.C. Holt. Structure of computer programs: A Survey // Proceedings of the IEEE, 1975, 63(6). - P. 879-893.

2.13. Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. - М.: Мир, 1980.

2.14. Е.А. Жоголев. Технологические основы модульного программирования // Программирование, 1980, #2. - С. 44-49.

2.15. Б. Боэм, Дж. Браун, Х. Каспар и др. Характеристики качества программного обеспечения. - М.: Мир, 1981.

2.16. В.В. Липаев. Качество программного обеспечения. - М.: Финансы и статистика, 1983.

2.17. Б. Шнейдерман. Психология программирования. - М.: Радио и связь, 1984.

2.18. Revised version of DP9126 - Criteria of the evaluation of software quality characteristics. ISO TC97/SC7 #610. Part 6.

2.19. В.Ш. Кауфман. Языки программирования. Концепции и принципы. - М.: Радио и связь, 1993.

2.20. Требования и спецификации в разработке программ. - М.: Мир, 1984.

2.21. В.Н. Агафонов. Спецификация программ: понятийные средства и их организация. - Новосибирск: Наука (Сибирское отделение), 1987.

2.22. В.В. Липаев, Е.Н Филиппов. Мобильность программ и данных в открытых информационных системах. - М.: Научная книга, 1997.

3. Лекция 3. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ

Интеллектуальные возможности человека, используемые при разработке программных систем. Понятия о простых и сложных системах, о малых и больших системах. Неправильный перевод информации из одного представления в другое - основная причина ошибок при разработке программных средств. Модель перевода и источники ошибок.