La complexité des systèmes croît de manière non contrôlée et il apparaît que les techniques « traditionnelles » de développement, basées sur une démarche objet et le test (unitaire puis d'intégration) ne suffisent plus à assurer un besoin de qualité sans cesse croissant. Dans ce contexte, nous présentons les résultats du Projet MORSE qui vise à intégrer dans une démarche méthodologique centrée sur UML, l'utilisation de méthodes formelles et de générateurs automatiques de programme. MORSE a ainsi pour objectif de rendre accessible à des ingénieurs spécialistes de leur métier des techniques de conception et de développement propres aux systèmes répartis.