Spécification et qualité du logiciel Resp.E. Bourreau Interv.M. Leclère [email protected]@lirmm.fr T. Libourel C. Nebut.