Без заголовка

" Артефакт может "созревать" от неформального наброска в M-режиме (Mental model) до формально верифицированной системы в F-режиме (Formal realization)" Тут непонятно: набросок это скорее эпистема, описание. Система — это работающая система. Что такое "артефакт"? Что означает смена его типа в процессе "созревания"?