Software engineering lähenemisviisi, et sellise süsteemi projekteerimise või selle koodeksi nõuetele. Konstruktsioon võib esindada programmi kavandamise keel (PDL) või ametlik keel. Luues loogiline Kuva tagurpidi füüsilise süsteemist inseneri aitab säilitada ja parandada olemasolevaid süsteeme.