Список использованных источников
1 ANSI/IEEE Std 1008-1987, IEEE Standard for Software Unit Testing.
2 ANSI/IEEE Std 1012-1986, IEEE Standard for Software Verification and Validation Plans.
3 ANSI/IEEE Std 1016-1987, IEEE Recommended Practice for Software Design Description.
4 ANSI/IEEE Std 1063-1988, IEEE Standard for Software User Documentation.
5 ANSI/IEEE Std 829-1983, IEEE Standard for Software Test Documentation.
6 ANSI/IEEE Std 830-1984, IEEE Guide for Software Requirements Specification.
7 ANSI/IEEE Std 983-1986, IEEE Guide for Software Quality Assurance Planning.
8 Абрамов С.А. Элементы программирования. - М.: Наука, 1982.-С. 85-94.
9 Агафонов В.Н. Спецификация программ: понятийные средства и их организация. - Новосибирск: Наука (Сибирское отделение), 1987.- 350 c.
10 Алексеев В.Е., Ваулин А.С., Петрова Г.Б. Вычислительная техника и программирование. Практикум по программированию. – М.: Высшая школа, 1991. - 400 с.
11 Бахвалов Н.С., Лапин А.В., Чижонков Е.В. Численные методы в задачах и упражнениях. – М.: Высшая школа, 2000 . – 190 с.
12 Борисов В.М. Разработка пакетов программ вычислительного типа. –М.: Издательство МГУ, 1990. – 123 с.
13 Боэм Б., Дж. Браун Дж., Каспар Х. и др. Характеристики качества программного обеспечения. - М.: Мир, 1981. – 200 с.
14 Боэм Б.У. Инженерное проектирование программного обеспечения.- М.:Радио и связь, 1985.- 512 с.
15 Буч Г. Объектно-ориентированное проектирование.- М.:Конкорд, 1992. – 519 с.
16 Ван Тассел Д. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. - С. 179-295.
17 Вендеров А.М. Проектирование программного обеспечения экономических информационных систем. – М.: Финансы и статистика,
2002.- 348 с.
18 Вержбицкий В.М. Численные методы (математический анализ и обыкновенные дифференциальные уравнения). – М.: Высшая школа, 2001.-384 с.
19 Вирт Н. Систематическое программирование. - М.: Мир, 1977. - С. 94-164.
20 Гласс Р. Руководство по надежному программированию, - М.: Финансы и статистика,1982. – 150 с.
21 Гмурман В.Е. Руководство к решению задач по теории вероятностей и математической статистике. –М.: Высшая школа, 1979 .- 400 с.
22 Гмурман В.Е. Теория вероятностей и математическая статистика. –М.: Высшая школа, 2000 .- 480 с.
23 Горбунов-Посадов М.М. Конфигурации программ. Рецепты безболезненных изменений. – М.: Малип, 1994.-350 с.
24 Данилина Н.И., Дубровская Н.С., Кваша О.П., Смирнов Г.Л. Вычислительная математика. – М.: Высшая школа, 1985.- 472 с.
25 Дейкстра Э. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 7-97.
26 Демидович Б.П., Марон И.А., Шувалова Э.З. Численные методы анализа. -М.: «Высшая школа». 1967 .- 368 с.
27 Единая система программной документации.- М.:Изд-во стандартов, 1994. - 128 с.
28 ЕСПД. Схемы алгоритмов. Программ, данных и систем. ГОСТ 7.1-84. Москва, Государственный комитет по управлению качеством продукции и стандартам,1990.-26 с.
29 Жоголев Е.А. Введение в технологию программирования: Конспект лекций. - М.: "ДИАЛОГ-МГУ", 1994. – 150 с.
30 Жоголев Е.А. Технологические основы модульного программирования // Программирование.- 1980.- №2. - С. 44-49.
31 Заварыкин В.М., Житомирский В.Г., Лапчик М.П. Численные методы. – М.: Просвещение. 1990. - 176 с.
32 Зелковец М, Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. - М.: Мир, 1982. - С. 11.
33 Зиглер К. Методы проектирования программных систем. – М.: Мир, 1985 .- 328 с.
34 Кауфман В.Ш. Языки программирования. Концепции и принципы. – М.: Радио и связь, 1993.-250 с.
35 Кристиан М. Введение в операционную систему UNIX. - М.: Финансы и статистика, 1985. - С. 46-49.
36 Липаев В.В. Качество программного обеспечения. - М.: Финансы и статистика, 1983.
37 Липаев В.В. Проектирование программных средств. – М.: Высшая школа. 1990. - 304 с.
38 Липаев В.В. Тестирование программ. - М.: Радио и связь, 1986. - С. 15-47.
39 Липаев В.В. Управление разработкой программных средств. Методы, стандарты, технология. – М.: Финансы и статистика, 1993.-250 с.
40 Липаев В.В., Филинов Е.Н. Мобильность программ и данных в открытых информационных системах. – М.: Научная книга, 1997. – С. 252-268.
41 Липаев В.В., Филиппов Е.Н. Мобильность программ и данных в открытых информационных системах. - М.: Научная книга, 1997.- 300 с.
42 Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ.- М.:Мир, 1989.- 424 с.
43 Майерс Г. Надежность программного обеспечения. - М.: Мир, 1980. – 355 с.
44 Орлов С.А. Технология разработки программного обеспечения. Питер, 2002. – 464 с.
45 Першинов В.И, Савинов В.М. Толковый словарь по информатике. – М.: Финансы и статистика, 1991.- 537 с.
46 Росс Д.Т. Структурный анализ (SA): Язык для передачи понимания. - М.:Мир, 1984.- 284 c.
47 Страуструп Б. Язык программирования С++. В 2-х кн. Часть первая. К.:ДиаСофт, 1993.- 264 с. Часть вторая.- К.:ДиаСофт, 1993.- 296 с.
48 Турский В. Методология программирования. - М.: Мир, 1981.-250 с.
49 Фаулер Ф., Скотт К. UML в кратком изложении. - М.: Мир, 1999. – 150 с.
50 Фокс Д. Программное обеспечение и его разработка . – М.: Мир, 1985. -368 с.
51 Хокс Б. Автоматизированное проектирование и производство. - М.: Мир, 1991. - 296 с.
52 Хьюз Дж., Мичтом Дж. Структурный подход к программированию. М.: Мир, 1980. - С. 29-71.
53 Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях.- К.: Диалектика, 1993.-240 с.
54 Шнейдерман Б. Психология программирования. – М.: Радио и связь, 1984. – С. 128-146.
55 Шураков В.В. Надежность программного обеспечения систем обработки данных. – М.: Статистика, 1981.- 216 с.
ПРИЛОЖЕНИЕ А
(обязательное)