В статье рассмотрены пути и модели разработки качественного программного обеспечения. Представлены некоторые технологии в рамках реализации формальных методов, модели совершенствования программных процессов и методология ...