Herramientas de usuario
ingenieria_de_requisitos:especificacion_formal
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previa | |||
| 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 19: | Línea 19: | ||
| * Signaturas: Define la Sintaxis de dichas operaciones (Atributos) | * 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. | * 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 | ||
ingenieria_de_requisitos/especificacion_formal.1700035538.txt.gz · Última modificación: 2023/11/15 08:05 por thejuanvisu
Herramientas de la página
