
13/09/2005, 13:37
|
| | Fecha de Ingreso: agosto-2004
Mensajes: 48
Antigüedad: 20 años, 6 meses Puntos: 0 | |
Gracias por tu comentario TolaWare...
En efecto en aprendido en mi clase que esto de los Metodos formales es usado en la Ingenieria de software para expresar información libre de ambiguedades, ademas te ofrece cierta confianza a la hora de implantar.
Y tienes razon es costoso en cuanto a tiempo, pero depende de la dimensión del proyecto, si es pequeño y con requerimientos muy claros, pues no es necesario aplicar estos metodos... Asi tambien cuando en un proyecto grande, los requerimientos son difusos y no hay cierta claridad de lo que realmente se quiere, pues una buena tecnica para definir y validar estos requerimientos son lo metodos formales.
Saludos!! |