Bachiller
Páginas: 3 (598 palabras)
Publicado: 4 de diciembre de 2012
* Lenguajes de especificación formal
Es una especificación de un sistema de software elaborada usando un lenguaje de especificación formal (LEF), esto es, un lenguaje para la especificación derequerimientos cuyo vocabulario, sintaxis y semántica han sido definidos mediante el uso de la lógica o las matemáticas.
Los constructos de un LEF son entidades matemáticas. Ej., conjuntos, variables,formulas bien definidas, etc.
* Ventajas que tiene el uso de un LEF
Permite adquirir un conocimiento riguroso del dominio de aplicación del sistema y un mejor entendimiento de los requerimientosde los usuarios.
Elimina la ambiguedad y reduce los errores, inconsistencias y omisiones en la especificación de requerimientos.
Da consistencia y "completitud" a la especificación, las cuales puedenser probadas formalmente.
Permite demostrar que la implementación conforma la especificación => mejor verificación y validación de requerimientos.
Las especificaciones formales pueden serprocesadas automaticamente, bien para verificarlas o para crear prototipos.
Reduce significativamente los costos de validación del sistema.
* Enfoques de especificación formal de requerimientos:
1-.Especificación Algebraica:
Una especificación algebraica es una descripción matemática de un tipo abstracto de datos.
La especificación algebraica se basa en el concepto matemático de álgebras,Estructuras matemáticas basadas en un conjunto dotado de operaciones para su manipulación y con una serie de propiedades que debe satisfacer. Una especificación algebraica consiste en un conjunto demódulos de especificación en el que cada uno de ellos describe una parte del sistema encapsulado en un tipo abstracto de datos. La especificación es orientada a propiedades ya que no impone ningún tipo demodelo (matemático) del sistema.
La especificación formal de un sistema consta de un conjunto de especificaciones algebraicas, cada especificación algebraica describe un tipo de objeto del...
Es una especificación de un sistema de software elaborada usando un lenguaje de especificación formal (LEF), esto es, un lenguaje para la especificación derequerimientos cuyo vocabulario, sintaxis y semántica han sido definidos mediante el uso de la lógica o las matemáticas.
Los constructos de un LEF son entidades matemáticas. Ej., conjuntos, variables,formulas bien definidas, etc.
* Ventajas que tiene el uso de un LEF
Permite adquirir un conocimiento riguroso del dominio de aplicación del sistema y un mejor entendimiento de los requerimientosde los usuarios.
Elimina la ambiguedad y reduce los errores, inconsistencias y omisiones en la especificación de requerimientos.
Da consistencia y "completitud" a la especificación, las cuales puedenser probadas formalmente.
Permite demostrar que la implementación conforma la especificación => mejor verificación y validación de requerimientos.
Las especificaciones formales pueden serprocesadas automaticamente, bien para verificarlas o para crear prototipos.
Reduce significativamente los costos de validación del sistema.
* Enfoques de especificación formal de requerimientos:
1-.Especificación Algebraica:
Una especificación algebraica es una descripción matemática de un tipo abstracto de datos.
La especificación algebraica se basa en el concepto matemático de álgebras,Estructuras matemáticas basadas en un conjunto dotado de operaciones para su manipulación y con una serie de propiedades que debe satisfacer. Una especificación algebraica consiste en un conjunto demódulos de especificación en el que cada uno de ellos describe una parte del sistema encapsulado en un tipo abstracto de datos. La especificación es orientada a propiedades ya que no impone ningún tipo demodelo (matemático) del sistema.
La especificación formal de un sistema consta de un conjunto de especificaciones algebraicas, cada especificación algebraica describe un tipo de objeto del...
Leer documento completo
Regístrate para leer el documento completo.