• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Metodos Formales
 

Metodos Formales

on

  • 7,264 views

 

Statistics

Views

Total Views
7,264
Views on SlideShare
7,088
Embed Views
176

Actions

Likes
3
Downloads
114
Comments
0

4 Embeds 176

http://innovacionpnfi2012.wordpress.com 171
https://www.google.com.gt 2
https://www.google.com.mx 2
http://www.slideshare.net 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Metodos Formales Metodos Formales Presentation Transcript

    • Métodos Formales Equipo 4
    • Conceptos
      • Métodos formales: son técnicas de base matemática para desarrollar sistemas de computadora.
      • Contradicciones: conjunto de sentencias que difieren entre sí.
      • Ambigüedades: sentencias que se pueden interpretar de varias maneras.
      • Vaguedad: se produce cuando la documentación es muy voluminosa
    • Matemáticas en el desarrollo del software
      • Una de sus ventajas es que proporciona una transición suave entre las actividades de ingenieria del sw
      • Las matemáticas proporcionan un elevado nivel de verificación cuando son usadas como medio de desarrollo del sw.
    • Preliminares matemáticos
      • El ingeniero de sw debe de tener un conocimiento razonable de la notación matemática asociada a los conjuntos y a las sucesiones.
    • Conjuntos y especificación constructiva
      • Un conjunto es una colección de objetos o elementos que se utiliza como la piedra angular de los métodos formales. Forman un grupo pequeño de elementos dentro de llaves, separando mediante comas sus elementos. Por ejemplo,
      • {C++, Pascal, Ada, Cobol, Java}
    • Operadores de conjuntos, lógicos
      • Se utiliza el mismo conjunto de símbolos en lo que es la representación de las operaciones conjuntos y las operaciones lógicas.
      • Cualquier ingeniero del sw entenderá el significado de los operadores lógicos comunes,
      • Operadores de conjunto: Є , ⊂ , ⊆ , ⋂ , ⋃ , Ø , , ×
      • Operadores Logicos: ¬, ⋁, ⋀, ➾
      • Sucesión: cabeza, cola, frente, ultimo
    • Métodos Formales y Programación
      • El conjunto de asignaturas que los alumnos cursan en el área de programación y metodología de la programación se distingue de las demás porque
      • los programas obtenidos no pueden probarse por ejecución, pues se utiliza un pseudocódigo,
      • contradice en cierta forma el modo en el que los estudiantes han aprendido a programar en su primer año de carrera,
      • los métodos que se explican no se aplican habitualmente en otras asignaturas.
    • Lenguajes Formales De Especificación
      • Componentes primarios:
      • Sintaxis.- define la notación específica con la cual se representa la especificación.
      • Semántica.- ayuda a definir un «universo de objetos».
      • Conjunto de relaciones.- define las reglas que indican cuales son los objetos que satisfacen correctamente la especificación.
    • Mitos Sobre Los Métodos Formales
      • Garantizan la perfección del sw y hacen innecesaria su verificación.
      • Solo sirven para demostrar que los programas son correctos.
      • Sólo es necesario aplicarlos en sistemas donde la seguridad es crítica.
      • Sólo pueden ser aplicados por expertos en matemáticas.
      • La aplicación de métodos formales aumentan los costes de desarrollo.
      • No son bien vistos por los usuarios.
      • No se aplican en sistemas reales de gran tamaño.
      • Retrasan el desarrollo.
    • Los 10 Mandamientos De Los Métodos Formales
      • Seleccionaras la notación adecuada.
      • Formalizaras, pero no de mas.
      • Estimaras los costes.
      • Poseerás un experto en métodos formales a tu disposición.
      • No abandonarás tus métodos formales de desarrollo.
      • Documentarás suficientemente.
      • No comprometerás los estándares de calidad.
      • No serás dogmático.
      • Comprobarás, comprobarás y volverás a comprobar.
      • Reutilizarás cuanto puedas.
    • Ventaja
      • Ofrece un fundamento para entornos de especificación que dan lugar a modelos de análisis más completos, consistentes y carentes de ambigüedad, que aquellos que se producen empleando métodos convencionales u orientados a objetos.
    • Conclusiones
      • Los métodos formales se centra fundamentalmente en las funciones y los datos.
      • La especificación mediante métodos formales es más difícil de aprender que otros métodos de análisis.
      • Las especificaciones formales se pueden estudiar matemáticamente, mientras que las informales no pueden estudiarse de esta manera.