Le test de transformation de modèles : automatisation de l'oracle - Irisa

Un modèle architectural (Architectural patterns) est une solution générale réutilisable à un problème courant de l'architecture logicielle dans un contexte ...