СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

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

Мир, 1980.

2.Ian Sommerville. Software engineering. - Addison-Wesley

Publishing Company, 1992.

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

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

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

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

7.Дж. Хьюз, Дж. Мичтом. Структурный подход к про-

граммированию. - М.: Мир, 1980.

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

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

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

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

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

13М. Зелковец, А. Шоу, Дж. Гэннон. Принципы разработки программного обеспечения. - М.: Мир, 1982.

14К. Зиглер. Методы проектирования программных си-

стем. - М.: Мир, 1985. - С. 15-23.

15Е.А. Жоголев. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ", 1994.

16Criteria for Evaluation of Software. ISO TC97/SC7 #383.

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

18Д. Скотт. Теория решеток, типы данных и семантика /

Данные в языках программирования. − М.: Мир, 1982. − С. 25-53.

129

19К. Хоор. О структурной организации данных / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. − М.: Мир,

1975. − С. 98-197.

20E.W. Dijkstra. The Structure of the THE-Multiprogramming

//Communications of the ACM. - 1968, 11(5). - Pp. 341-346.

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

мированию. М.: Мир, 1980.

22Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. - С. 179-295.

23Дж. Фокс. Программное обеспечение и его разработка. -

М.: Мир, 1985. - С. 227-241.

24Ю.М. Безбородов. Индивидуальная отладка программ. -

М.: Наука, 1982. - С. 9-79.

25В.В. Липаев. Тестирование программ. - М.: Радио и связь, 1986. - С. 15-245

26Э. Дейкстра. Заметки по структурному программирова-

нию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирова-

ние. - М.: Мир, 1975. - С. 7-13.

27Н.С. Бахвалов, Н.П. Жидков, Г.М.Кобельков. Численные методы. - М.: Наука, 1987.

28ANSI/IEEE Std 1063-1988, IEEE Standard for Software

User Documentation.

29ANSI/IEEE Std 830-1984, IEEE Guide for Software Requirements Specification.

30ANSI/IEEE Std 1016-1987, IEEE Recommended Practice for Software Design Description.

31ANSI/IEEE Std 1008-1987, IEEE Standard for Software Unit Testing.

32ANSI/IEEE Std 1012-1986, IEEE Standard for Software Verification and Validation Plans.

33ANSI/IEEE Std 983-1986, IEEE Guide for Software Quality Assurance Planning.

34ANSI/IEEE Std 829-1983, IEEE Standard for Software Test

Documentation.

35 В.В. Липаев. Управление разработкой программных средств. Методы, стандарты, технология. – М.: Финансы и стати-

стика, 1993.

130