Профиль » Публикация

Аннотация В статье представлен формальный подход к моделированию процесса производства программного обеспечения (ПО) предназначенный для измерения, оценивания и улучшения характеристик планов проектов по разработке ПО. Этот подход включает: 1) Реляционную модель, определяющую компоненты процесса производства ПО (виды деятельности, продукты и ресурсы), их статические и динамические характеристики, отношения между ними. 2) Проблемно-ориентированное исчисление, моделирующее процесс исполнения плана программного проекта при заданных параметрах. 3) Три графовые модели плана программного проекта: статический граф, представляющий структуру плана и два динамических графа, представляющих реальный или смоделированный процесс выполнения плана. 4) Формальные определения набора мер и дефектов плана программного проекта, обеспечивающие статический и динамический анализ плана, его оценивание и поиск возможностей улучшения.