Diferencias

Muestra las diferencias entre dos versiones de la página.

--- ingenieria_de_requisitos:especificacion_formal [2023/11/15 08:05] – thejuanvisu
+++ ingenieria_de_requisitos:especificacion_formal [2023/11/15 08:11] (actual) – thejuanvisu
@@ Línea 10: / Línea 10: @@
 Con la especificación formal las fases de especificación y diseño reducen su coste.
-Especificaciones algebraicas.
+===== Especificaciones algebraicas. =====
 Nos permite especificar componentes que vamos a utilizar y luego agrupar.
 Las interfaces se conocen como Tipos Abstractos de Datos u objetos en caso de Programación orientada a Objetos.
@@ Línea 18: / Línea 19: @@
   * Signaturas: Define la Sintaxis de dichas operaciones (Atributos)
   * Axiomas: Plan de pruebas, se especifica que pasa o como reaccionan las funciones y capturas de excepciones.
+Introducción
+  * Especificación basada en modelos:
+    * Permite especificar los comportamientos del sistema
+    * Especifica las notaciones (VDM, B y Z)
+  * Especificaciones algebraicas
+Notación Z
+Los sistemas se modelan usando conjuentos y relaciones entre conjuentos
++Las epsecificaciones se presentan como texto informal

Knoppia