10 Mandamientos De Los Métodos Formales.

Con objeto de seleccionar eficientemente dentro de la amplia gama de lenguajes de especificación formal existente, el ingeniero del software deberá considerar el vocabulario del lenguaje, el tipo deaplicación que haya que especificar y el grado de utilización del lenguaje.
Con objeto de seleccionar eficientemente dentro de la amplia gama de lenguajes de especificación formal existente, elingeniero del software deberá considerar el vocabulario del lenguaje, el tipo de aplicación que haya que especificar y el grado de utilización del lenguaje.
1.Seleccionarás la notación adecuada1.Seleccionarás la notación adecuada

En general, resulta necesario aplicar los métodos formales a todos los aspectos de los sistemas de cierta envergadura. Aquellos componentes que sean críticos para laseguridad serán nuestras primeras opciones, e irán seguidos por aquellos componentes cuyo fallo no se pueda admitir
En general, resulta necesario aplicar los métodos formales a todos los aspectos de lossistemas de cierta envergadura. Aquellos componentes que sean críticos para la seguridad serán nuestras primeras opciones, e irán seguidos por aquellos componentes cuyo fallo no se pueda admitir2.Formalizarás, pero no de más
2.Formalizarás, pero no de más

Los métodos formales tienen unos costes de arranque considerables. El entrenamiento del personal, la adquisición de herramientas deapoyo y la utilización de asesores bajo contrato dan lugar a unos costes elevados en la primera ocasión. Estos costes deben tenerse en cuenta cuando se esté considerando el beneficio obtenido frente aesa inversión asociada a los métodos formales.
Los métodos formales tienen unos costes de arranque considerables. El entrenamiento del personal, la adquisición de herramientas de apoyo y la utilizaciónde asesores bajo contrato dan lugar a unos costes elevados en la primera ocasión. Estos costes deben tenerse en cuenta cuando se esté considerando el beneficio obtenido frente a esa inversión...