Diferencias

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

--- ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:30] – thejuanvisu
+++ ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:34] (actual) – thejuanvisu
@@ Línea 148: / Línea 148: @@
 </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