Список использованных источников

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 с.

 

 

ПРИЛОЖЕНИЕ А

(обязательное)