S: Especifico
Construir reglas de comportamiento con prolog para un sistema X.
M: Medible
Funcional y lógica: Test con un prototipo.
A: Alcanzable
Si
R: Relevante
Fundamental para lograr terminar con el desarrollo del proyecto
T: Temporal
En 15 días