Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests
FR
Auteur / Autrice : | Alain Le Guennec |
Direction : | Claude Jard |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2001 |
Etablissement(s) : | Rennes 1 |
Mots clés
FR