Реклама:

- 328 с.

51. Пархоменко П. П., Правильщиков П. А. Диагностирование программного обеспечения. — Автоматика и телемеханика, 1980, № 1. с. 117— М1.

52. Позии Б. А., Догадкии Е. Б., Капичиикова Е. Н. Технологии разработки сложных комплексов программ для ЕС ЭВМ с применением САРПО ПРОТВА. — В кн.: Прогрессивные технологии про-граммнрования/МДНТП. — М., 1983. с. 45—50.

53. Правильщиков П. А. Построение тестов для программ. — Автоматика и телемеханика, 1977, № 5, с. 147—161.

54. Рейнгольд э., Нивергельт ю., Део Н. Комбинаторные алгоритмы — теория и практика.: Пер. с англ./Под ред. В. б. Алексеева; — М.: Мир, 1980. — 478 ст

55. Технологическая система ТКП: концепции и возможности. В. П. Шарков, А. Н. Валышев, С. А. Котов, А. К- Мочалов. — В кн.: Технология разработки программного обеспечения. Международ, ^кауч-техн. конф. «Программное обеспечение ЭВМ»: — Калинин. 1984, с. 32—36.

'56. ТейерТ., Лнпов М., Нельсон э. Надежность программного обеспечения: Пер. с англ. — М.: Мир, 1981. — 324 с."

57. Технология проектирования комплексов программ АСУ/В. В. Ли-паев. Л. А. Серёбровский, П. Г. Гаганов и др.; Под ред. Ю. В.-Аса-

Îьeвa и В. В. Липаева. — М.: Радио и связь. 1983. — 264 с. ыугуЭ.'Х., Харф М. Я. Алгоритмы структурного синтеза программ.— Программирование, 1980, №4, с. 3—13.

59. Шаракшанэ А. С, Шахии В. П., Халецкий А. К. Испытания программ сложных автоматизированных систем. — М: Высшая школа,

1982. — 192 с. •

60. Юдин Д. Б., Горяшко А. П. Задачи управления и теория сложности. В 3-х ч. —■ Изв. АН СССР. Техническая кибернетика. 1974, №3, с. 34—53; 1975; № 2. с. 3—19; 1976, №3» с. 3—15.

6f. Ющенко Е. Л., Касаткина И. В. Современные методы доказательства правильности программ. — Кибернетика, 1980, №6, с. 37—62.

62. Adrion W. R:, Branstad М. A., Cherulavcky J. С Validation, verification and testing of computer Software. — Computing Surveys, 19827 v. 14, №2, p. 159—192.

63. Bailey R. Human error in computer systems. — Prentice-Hall,

1983. — 176 p.

64. Bargland G. D. A guided tour of program design metodologies. — Computer, 1981, J№ 10, p. 13—37.

65. Bowen J. B. Are current approaches sufficient for measuring software quality? — Software Engineering Notes, 1978, v. 3, № 5, p. 148— 155.

66. Buckle J. K- 'Software configuration management.—McMillan Press, 1982. — 168 p.

' 67. Clarke L. A. et al. A close look at domain testing. — IEEE Trans., 1982. s. SE-8, №4, p. 380—390.

68. Software quality management/Ed. by J. D. Cooper, M. J. Fisher. — A Petrocelli Book, 1979. — 278 p.

69. Crossman T. D. Taking the measure of programmer productivity.'— Datamation; 1979. v. 25r~№ 5, p. 136—139.

70. Dljkstra E. W. Solution of a problem in concurrent programming.— CACM, 1965, №9, p. 317—323.

71. Davis C. G., Vick C. R. The software.development system: status and evalution. — Proc. IEEE Computer Soc. 2-nd Int. Comput. Software and Appl. Conf. — Chicago, 1978, № 4,-p. 326—331.

72. Deutsch M. S. Software verification and validation. Realistic project approaches. — Englewood Cliffs, N. J.: Prentice-Hali, 1982. — 330 p." - ,


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