Your SlideShare is downloading. ×
Metodos Formales
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Metodos Formales

7,104

Published on

Published in: Travel, Business
0 Comments
3 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
7,104
On Slideshare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
127
Comments
0
Likes
3
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Métodos Formales Equipo 4
  • 2. 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
  • 3. 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.
  • 4. 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.
  • 5. 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}
  • 6. 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
  • 7. 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.
  • 8. 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.
  • 9. 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.
  • 10. 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.
  • 11. 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.
  • 12. 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.

×