Cap10 l2
- 1. INSTRUMENTOS Y MÉTODOS DE LA INGENIERÍA DE SOFTWARE LOS MÉTODOS DE LA INGENIERÍA DE SOFTWARE
- 2. MÉTODOS HEURÍSTICOS Hay cuatro categorías: estructurado, orientado a datos, orientados a objetos y especifico de dominio. Método estructurados. El sistema es construido en un punto de vista funcional, que comienza con una vista de alto nivel y cada vez más la refinación de esto en un diseño más detallado. Métodos orientados a datos. Los puntos de partida son las estructuras de datos que un programa manipula más que la función que esto realiza. Métodos orientados a objetos. El sistema es visto como una colección de objetos más que de funciones.
- 3. MÉTODOS FORMALES Trata con el software matemáticamente basado en métodos de la ingeniería, y es subdividida según varios aspectos de métodos formales. Especificación de lenguaje y notaciones. Lengua usada, las lenguas de especificación pueden ser clasificadas como orientado por modelo, orientado por características, u orientado por comportamiento. Refinamiento. Trata como el método refina la especificación en una forma que es más cercana a la forma deseada final de un programa ejecutable. Propiedades de verificación/confirmación. Cubre las propiedades de verificación que son específicas al acercamiento formal, incluyendo tanto confirmación de teorema como la comprobación del modelo.
- 4. MÉTODOS DE PROTOTIPADO Está subdivisión cubre métodos que implican el prototipado de software y es subdividida en estilos de prototipado, objetivos y técnicas de evaluación. Estilos de prototipado. Identifica varios accesos: especificación desechable, evolutiva y ejecutable. Objetivo de prototipado. Los ejemplos de los objetivos de un método prototipado pueden ser exigencias, el diseño arquitectónico, o el interfaz de usuario. Técnicas de evaluación de prototipado. Cubre las razones por las cuales los resultados de un ejercicio de prototipado son usados.