¿Qué es la formalidad en la ingeniería de software? La formalidad es un requerimiento más fuerte que el rigor. La formalidad requiere que el proce...

La respuesta correcta es c) II y IV son correctas.

Explicación:

I. La formalidad es un requerimiento más fuerte que el rigor.

Esta afirmación es verdadera. La formalidad implica rigor, pero el rigor no implica necesariamente formalidad. El rigor se refiere a la precisión y el cuidado en el desarrollo del software, mientras que la formalidad se refiere al uso de métodos matemáticos y lenguajes formales para especificar y verificar el software.

II. La formalidad requiere que el proceso de software sea guiado y evaluado por leyes matemáticas.

Esta afirmación es verdadera. La formalidad implica el uso de métodos matemáticos para especificar y verificar el software. Esto significa que el proceso de desarrollo del software debe estar guiado por estas leyes matemáticas y que el software debe ser evaluado para verificar que cumple con ellas.

III. La formalidad es una cualidad intuitiva que no puede ser definida en forma rigurosa.

Esta afirmación es falsa. La formalidad no es una cualidad intuitiva, sino que se define de manera precisa y rigurosa. Existen diferentes métodos formales, como la notación Z o el cálculo de Hoare, que se utilizan para especificar y verificar el software de manera formal.

IV. La formalidad es un complemento necesario de la creatividad en todas las actividades de la ingeniería.

Esta afirmación es verdadera. La formalidad no es un sustituto de la creatividad, sino que es un complemento necesario. La formalidad ayuda a garantizar la calidad del software, mientras que la creatividad permite encontrar soluciones innovadoras a los problemas.

En resumen, la formalidad es una característica importante de la ingeniería de software que implica el uso de métodos matemáticos para especificar y verificar el software. La formalidad es un complemento necesario de la creatividad y ayuda a garantizar la calidad del software.

Por lo tanto, la respuesta correcta es c) II y IV son correctas.