Now showing documents 1-1 of 1

    • Synthèse automatique de gardes EB[indice supérieur 3]

      Konopacki, Pierre (Université de Sherbrooke, 2008)
      Dans le cadre de développement de systèmes d'informations, les méthodes formelles de spécification peuvent réduire le développement aux seules phases d'analyse et de conception. La méthode EB[indice supérieur 3] est une ...