Ce cours est destiné aux étudiants de première année master. Il s'agit d'introduire les nouvelles tendances du génie logiciel ("Advanced Software Engineering") puis de s'attarder sur les nouvelles approches de développement tels que Model Driven Development, Agile Development, etc. Les méthodes formelles de développement sont ensuite étudiées afin de sensibiliser les étudiants sur la notion de validation vérification de logiciel.