TABLE DES MATI�RES

�1���� Port�e
�2���� But
�3���� Objet
�4���� Domaine d'application
�5���� D�finitions
�6���� Abr�viations
�7���� Elaboration de Recommandations de haute qualit�
������� 7.1���� Aper�u g�n�ral des crit�res de qualit�
������� 7.2���� Identification en amont
������� 7.3���� Techniques de description formelle
������� 7.4���� Aper�u g�n�ral du processus
�8���� V�rifications de la qualit�
�9���� Directives sp�cifiques
������� 9.1���� Lisibilit�
������� 9.2���� Exhaustivit� des Recommandations
����������������� 9.2.1���� Clause de conformit�
����������������� 9.2.2���� Outils de v�rification de l'exhaustivit�
����������������� 9.2.3���� M�thodologie des tests
������� 9.3���� Exactitude
����������������� 9.3.1���� Validation des sp�cifications
����������������� 9.3.2���� Suite de tests abstraite (ATS)
����������������� 9.3.3���� Etape de publication
����������������� 9.3.4���� Contr�le
������� 9.4���� Coh�rence
������� 9.5���� Non-ambigu�t�
������� 9.6���� Impl�mentabilit�
����������������� 9.6.1���� R�duction du nombre d'options
����������������� 9.6.2���� Meilleure solution technique
������� 9.7���� Testabilit�
10���� Utilisation d'outils lors de l'�laboration de Recommandations
������ 10.1���� D�tection d'erreurs anticip�e
������ 10.2���� Production rapide de Recommandations
������ 10.3���� R�duction des co�ts
11���� R�f�rences normatives
Annexe A � Liste de v�rification des crit�res de qualit� des� Recommandations relatives aux protocoles
������� A.1���� Liste de v�rification g�n�rale
����� ��A.2���� Liste de v�rification sp�cifique