Si ha recibido capacitación en el uso de métodos formales (FM) para la programación: ¿Qué tan útil lo has encontrado? ¿En qué consistió su entrenamiento de FM (por ejemplo, un curso, un libro)? ¿Qué herramientas de FM utilizas? ¿Qué ventajas en velocidad / calidad le ha dado en comparación con...