Es sabido que la correctitud, completitud y no ambigüedad son atributos de calidad más que deseables en una SRS [Davis92] (Especificación de Requerimientos de Software). Aquí presento una propuesta de cómo escribir una SRS con UML maximizando dichos atributos, mediante una estrategia de utilización de diagramas UML que nos llevan de una manera natural a un producto con un alto grado de correctitud, completitud y no ambiguo.