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