Реклама:

7. Бичевский Я. Я. Автоматическое построение систем примеров. — Программирование, 1977, № 3, с. "60—70-

8. 'Блау С А., Липаев В. В., Позин Б. А. Эффективность тестирования структуры программных модулей. — Автоматика и телемеханика, 1984, №4, с. 139—148.

9. Бобрышев Д. Н., Рекснн В. 9. Управление конфигурацией технических систем. — М.: Сов. радио, 1978. — 184 чгу

10. Борзов Ю. В. Тестирование программ с использованием символического выполнения. — Программирование, 1980, № 1, с. 51—60. т

11. Боэм Б., Браун Дж., Каспар X. и др. Характеристики качества 'программного обеспечения: Пер. с англ. ,— М.: Мирт1981.:—208 с.,

12. Введение в технику работы, с таблицами решений: - Пер. с нем./ Г. Фрайтол, В. Годе, X. Я «оби н др.; Под ред. Д. А. Поспелова. — М.: Энергия, 1979.'— 88 с.

13. Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ./Под ред. Е. К- Масловского. — М.: Мир, 1981. — 392 с.

14. Гласе Р, Руководство по надежному, программированию: Пер. с англ. — М.: Финансы" и статистика, 1982. — 280 с.

15. Гласе Р., Нуазо Р. Сопровождение программного обеспечения Пер. с англ./Под. ред. Ю- А. Чернышева.—М.: Мир, 1983, 160 с.

16*. Глушков В. М., Цейтлин Г. Е., Ющеико Е. Л. Методы символьной мультиобработки: — Киев: Наукова думка, 1980. «г-. 248 с.

17. Головкин Б. А. Надежное программное обеспечениег Обзор. — Зарубежная радиоэлектроника, 1978. № 12. с. 3—61.

18. Головкин Б. А. Расчет характеристик я планирование параллельных вычислительных процессов. — М.: Радио и связь, 1983. — 272 с.

19- Гориновнч Л. Н., Трахтеигерц э. А., Шурайц Ю. М. Особенности отладки параллельных программ. —'В кн.: Синтез, тестирование, верификация н отладка программ/Латв. гос. ун-т. — Рига; 1981, с. 76—77.

20. Гуденаф Д. Б., Макгоуэн К.Л. Обеспечение качества программных средств. Испытания и оценка. — ТИИЭР, 1980, т. 68, №9, с.66—73.

21. Грис Д. Наука программирования: Пер. с англ./Под ред. А. П. Ершова. — М.: Мир, 1984, — 416 с.

22. Дейт К- Введение в системы баз данных: Пер.'сангл. — М.: Наука, 1980. — 464 с.

23. Елманова М. С, Кузнецов Н. И., Ларионов К. А. Модификация больших программ. — В кн.: Синтез, тестирование, верификация и отладка программ. /Латв. гос. ун-т. — Рига, 1981, с. 95.

24. Ершов А. П. Введение в теоретическое программирование (беседы о методе). — М., Наука, 1977, — 288 с.

,25. Ершов А. П. Два облика программирования. — Кибернетика,

1982, № 6. с. 122—123.

26. Карповский Е. А. Надежность специального математического обеспечения управления. — Киев: Вита школа, 1982. — 192 с.

27. Касьянов В. Н. Анализ структур программ. — Кибернетика, 1980, № 1, с. 48—567. ' -

28. Кертис Б. Измерения и эксперименты в проектировании программных средств. — ТИИЭР, 1980, т. 68, №9, с. 129—145.

29. Колганова Т. В., Орлов С. Г., Филлипович В. В. Исследование характеристик иерархической структуры системы программ АСУ. — Управляющие системы и машины, 1976, № 4, с. 16—23.


⇐ Предыдущая страница| |Следующая страница ⇒