Développement de logiciel - approche formelle et approche à objets

exemples pratiques (l'approche du CNRS, le processus unifié de Rational (RUP))). ... Pascal André and Alain Vailly. Exercices corrigés de conception logicielle ...