mercredi 8 avril 2009

Génie logiciel

Langages de spécification et de programmation, Méthodes de validation, Sécurité logicielle, Modélisation