Situé dans le domaine de l'ingénierie des besoins, le sujet du livre concerne la contribution de la notion de "scénario pattern" et du Raisonnement à Partir de Cas (RàPC) à la construction automatisée du modèle d'analyse statique des applications logicielles complexes...