Les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation.