Conjunto de actividades que conducen a la especificación
matemática del software.
* Desarrollo: eliminar problemas difíciles
de superar.
*
Diseño: sirven como base para la
verificación de programas y permiten que el ingeniero del software descubra
errores que no se pudieron detectar de otra forma.
No hay comentarios:
Publicar un comentario