Библиогр.: с. 152-155.

Рассматриваются задачи, связанные с созданием научно-обоснованной методологии автоматизированного повышения качества программ в процессах их разработки, сопровождения и использования. Основное назначение данной методологии заключается в развитии технологий программирования для обеспечения максимальной независимости характеристик качества программы от личностных факторов ее разработчиков и специалистов по сопровождению.В начале рассматриваются сравнительно общие вопросы: исследование основных факторов, обусловливающих качество программы на протяжении жизненного цикла, выбор и обоснование важнейших характеристик качества программы, их доминирующая роль и содержание относительно каждой стадии ее существования, основные положения и характерные особенности предлагаемой концепции комплексного решения проблемы повышения качества, теоретические основы и методы анализа логико-информационной структуры программы. Затем излагаются автоматизированные методы, ориентированные на улучшение конкретных характеристик качества программ: понимаемости, корректности, сопровождаемости и эффективности. В конце описываются технологические этапы процесса автоматизированного повышения качества программ и возможные области его применения.Для научных работников в области программного обеспечения и технологий программирования, может быть полезна инженерам.