Metodo Formal

-Los mtodos formales son una notacin de especificacin con una semntica formal, que se utiliza para especificar, analizar, disear, y verificar el software.

Este enfoque requiere conocimientos matemticos. Sin los mismos se pueden aplicar mtodos formales, pero unos mnimos conocimientos facilitarn su uso y mejorarn el resultado final.

Usos Metodos Formales: Politicas: Un sistema seguro se convierte en las principales propiedades de seguridad que este debe conservar el modelo de polticas de seguridad formal, como confidencialidad o integridad de datos.

Especificacion: Es una descripcin matemticas basada en el comportamiento del sistema, que utiliza tablas de estado o lgica matemtica.

Pruebas Correspondencia del Codigo Fuente: Aunque muchas tcnicas formales se crearon inicialmente para probar la correctitud del cdigo, pocas veces se logra debido al tiempo y costo implicados, pero pueden aplicarse a los componentes crticos del sistema.

Pruebas de Correspondencia Entre el Codigo de Maquina Y el Codigo Fuente: Este tipo de pruebas no se realizan muy a menudo por su costo y a la alta confiabilidad de los copiadores modernos.

VENTAJAS Se comprende mejor el sistema. La comunicacin con el cliente ya que se dispone de una descripcin clara y no ambigua a lo requisitos del usuario. El sistema se describe de una manera mas precisa. Mayor productividad. Mayor calidad del software respecto al cumplimiento de las especificaciones.

DESVENTAJAS Los investigadores por lo general no conocen la realidad industrial. Se considera que la aplicacin de mtodos formales encarece los productos y ralentizar su desarrollo. El desarrollo de herramientas que apoyen la aplicacin de mtodos formales es complicado y los programas resultantes son incmodos para los usuarios.

Los mtodos formales ayudan a desarrollar software de calidad. Es necesario tener conocimientos matemticos para el uso de los mismos y puede ser complejo su aprendizaje.

Ingeniera de Software Basada en Componentes

La ingeniera del software basada en componentes (ISBC) es un proceso que se centra en el diseo y construccin de sistemas basados en computadora que utilizan componentes de software reutilizables