EXIGENCES ET SPECIFICATIONS DE SYSTEMES LOGICIELS