Список источников и литературы

Литература

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

2. В.В.Липаев. Тестирование программ. - М.: Радио и связь, 1986. – 312с.

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

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

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

6. Липаев В.В. Отладка сложных программ. М.: Энергоатомиздат, 1993. – 213с.

1. Смагин В.А., Солдатенко В.С., Кузнецов В.В. Моделирование и обеспечение надёжности программных средств АСУ. – СПб.: ВИКУ им. А.Ф. Можайского, 1999. – 49 с.
2. Аджиев В. Мифы о безопасности ПО: уроки знаменитых катастроф. – Изд. “Открытые системы”, 1999. - № 3. – С.1-17.
3. Липаев В.В. Надёжность программных средств. – М.: СИНТЕГ, 1998. – 232 с.

Источники

10. IEEE Std 1003.0-1995 IEEE Guide to the POSIX® Open System Environment (OSE).

1. Государственные стандарты. Утверждены и введены в действие Постановлением Государственного комитета РФ по стандартам от 30 июня 1998 г.
2. www.mgtu.ru
3. www.softforum.ru
4. www.ixbt.ru
5. www.scientific.ru
6. www.spiiras.nw.ru

Приложение

Рис 1. Схема работы КИМИС.

Рис 2. Тиражирование и использование версий программ