Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML

Resumen: Este trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de secuencias UML. Así, el principal objetivo de este trabajo es proponer un a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Vidal-Silva,Cristian L., Villarroel,Rodolfo H., López-Cortés,Xaviera A., Rubio,José M.
Lenguaje:Spanish / Castilian
Publicado: Centro de Información Tecnológica 2019
Materias:
UML
Acceso en línea:http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642019000100263
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares