Diferencias

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

--- ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:22] – [Notaciones en Z] thejuanvisu
+++ ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:34] (actual) – thejuanvisu
@@ Línea 138: / Línea 138: @@
 </WRAP>
+<WRAP group left>
+  * Los esquemas pueden ser manipulados utilizando operaciones como la composición de esquemas, renombrado de esquemas o la ocultación de esquemas
+  * La signatura del esquema define las entidades que forma el estado del sistema y el predicado del esquema establece las condiciones en que deberían cumplirse estas condiciones
+  * Cuando un esquema define una operación, el predicado puede establecer precondiciones y postcondiciones
+  * Estas definen el estado antes y después de la operación, la diferencia entre ambas define la acción especificada en el esquema de la operación.
+</WRAP>
+<WRAP group left>
+{{drawio>ingenieria_de_requisitos:RaizCuadradaEnteraNotacionZ.png}}
+</WRAP>
 ===== Notaciones algebraicas =====
+  * Introducción: se define el tipo y declaran otras especificaciones que se usan
+  * Descripción: Describe informalmente las operaciones del tipo
+  * Signatura: Define la sintaxis de las operaciones, número y clase de sus parámetros y las clases de los resultados
+  * Axiomas: Define la semántica de las operaciones mediante la definición de axiomas que caracterizan su comportamiento
+<WRAP group left>
+{{:ingenieria_de_requisitos:pasted:20240110-223140.png}}
+</WRAP>

Knoppia