Sebuah implementasi parsial dari sistem, dibangun untuk menunjukkan fungsi sistem yang dipilih dan properti, khususnya mereka yang memuaskan kebutuhan non-fungsional.