Mmmm... mi profe de Ingeniería del Software usaba un programa para ese fin, que nos mostró el último día de clase.

La cosa es que ese programa lo hicieron en mi universidad, entre los profesores de la asignatura, y que yo sepa lo utilizan ellos nada más.

Por otro lado, creo que hay un programa llamado ArgoUML que permite hacer verificación. Sin embargo, es aún MUY experimental (yo me desesperaba con él, y eso que sólo lo usaba cuando tenía que entregar algún diagrama por Internet y quería dejarlo bonito).

De todas formas, para una asignatura que vas a cursar durante tan solo unos meses, no creo que valga la pena aprender a manejar el programa. Además, te aseguro que te deprimirás un montón cuando te indique un montón de fallos por todas partes que ni te habías imaginado.

A mí me gustó la asignatura ^^. El único problema que tuve con ella es que me daba muchísimo palo hacer lo que me pedían. No es que resultara difícil, es que era una tarea no muy gratificante. En más de un examen me dieron ganas de contestar "no, por favor, ahora no tengo ganas de hacer esto". De hecho, en los últimos exámenes fui sin haber hecho ni un sólo ejercicio en mi casa para practicar, porque eran un coñazo (¡y me fue perfectamente! Técnica completamente recomendada, xD).

¡Saludos!

¡Ok! ¡Te lo mando por privado!
¡Saludos!