Описана технология, разработанная для придания процессам, связанным с работой над качеством программ, формального характера. Перечислены и кратко описаны формальные модели, на которых основана описываемая технология. Приведен алгоритм, с помощью которого с участием экспертов происходит автоматизация процессов управления качеством. Описан опыт использования моделей и алгоритма для управления качеством программной системы военной телемедицины. Ключевые слова: качество программ, модель качества программы, обеспечение качества программы, управление качеством программы, программное обеспечение телемедицины.

Мехатроника, автоматизация, управление. [Текст] // Мехатроника, автоматизация, управление. - М. : Машиностроение. — 2009.

• УДК // Якість систем і програмного забезпечення