English
 
 
     

     

    Mots clés : test de conformité, tests abstraits, tests exécutables, abstraction, déterminisation, génération à la volée, vérification, objectif de test, test symbolique, SDL, LOTOS.

   
     

     

    Mots clés : frameworks, objets, transformations de programmes, test objets, UML.
   
  
     

     

    Mots clés : télécom, objets, ordres partiels, concurrence, UML, MSC, réseaux de Petri, (Max, +), BDL.

 



Page d'acceuil Page d'acceuil
Haut Précédente Suivante English