Б 93 |
Бутаков, Е. А. Методы создания качественного программного обеспечения ЭВМ [Текст] / Е. А. Бутаков. – М. : Энергоатомиздат, 1984. – 230с : ил. – (Применение вычислительных машин в исследованиях и управлении производством). – Библиогр.: с. 225-228. – 12000.
Рассмотрены научные и организационные методы повышения качества программирования и производительности труда программистов. Отдельно рассмотрены методы проверки правильности программ, основанные на аппарате математической логики, а также практические приемы отладки и испытания (тестирования) программ. Для инженеров, занимающихся программированием, а также студентов старших курсов и аспирантов. |