To podejście jest oparte na budowaniu formalnych matematycznych specyfikacji systemu i przekształcaniu tych specyfikacji w program za pomocą metod matematycznych.
W tym podejściu zakłada się istnienie dużej liczby komponentów zdatnych do ponownego użycia.
Katedra Mikroelektroniki i Technik Informatycznych Politechniki Łódzkiej