Bir sistemin tasarımı veya gereksinimleri olan koddan türetilmiştir yazılım mühendisliği bir yaklaşım. Tasarım programı tasarım dili (pdl) veya bir resmi dili temsil. Bir fiziksel sistemi, ters mantıksal bir görünüm oluşturarak mühendislik yardım etmek korumak ve mevcut sistemleri geliştirmek.