Qué son?
Estas técnicas consisten en poder aplicar un desglose para así poder analizar los requisitos y partes, el análisis de los requerimientos del software es la etapa que sigue en un registro o una matriz de trazabilidad, estas se dividen en dos:
Son un sistema de entidades, atributos y relaciones con otros.
1.
Referencia
indirecta
2.
Definición
axiomática
3.
Expresiones
regulares
4. Abstracciones de datos
Son un sistema de función de los cambios que ocurren a lo largo del tiempo. Considerando un sistema en particular hasta que un estimulo lo obliga a cambiar de estado
Esta
es una herramienta que mediante reglas lógicas ayuda a decidir qué acciones a
ejecutar en función de las condiciones.
Un conjunto de:
·
CONDICIONES
satisfechas por el sistema en un momento dado.
·
REGLAS
para reaccionar ante los estímulos que ocurren cuando se reúnen determinados
conjuntos de condiciones.
· ACCIONES a ser tomadas como resultado.
Este se realiza con Máquinas de estados finito, esto es, máquinas que describen un sistema como un conjunto de estados donde el sistema de reacciones a ciertos eventos ya sean internos o externos.
Una
construcción de:
·
Identificar
los estados
·
Si
hay un estado complejo
·
Desde
el estado inicial
·
Analizan
las condiciones
· Verificando la conciencia
Son utilizadas para especificar sistemas de tiempo real en los que son necesarios representar aspectos de concurrencia. Esta ejecución se realiza disparando transiciones habilitadas. Una transición está habilitada cuando cada lugar de entrada tiene al menos tantos tokens como arcos hacia la transición
Procesos
de modelado de las funcionalidades del sistema en término de los eventos que
interactúan entre los usuarios y el sistema.
·
Captura
requerimientos funcionales.
·
Descompone
el alcance del sistema.
Comentarios
Publicar un comentario