Spécification, synthèse de code et qualité des ... - Limos - ISIMA
13 déc. 2011 ... Laboratoire d'Informatique, de Modélisation et d'Optimisation des ... Pr Jean-
Pierre Müller, CIRAD Montpellier .... Université Blaise Pascal (UBP), Clermont
Ferrand 2 .... University Bus System et Programme National de Télédétection
Spatial .... L'énoncé du problème est la phase où l'objet et les finalités de ...