0 Descargas0 Vistas0% Tendencia

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

Vidal-Silva, Cristian, Villarroel, Rodolfo H., López-Cortés, Xaviera A., Rubio, José Miguel
Resumen

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...

Descripción

Profesor Guía

Título de la revista

Título del volumen

Patrocinio

Citación

Aprobación

Revisión

Complementado por

Referenciado por

Palabras clave: Análisis de modelosTolerancia a fallasUMLSpin / PromelaDiagramas de secuencia

DOI

URI

https://hdl.handle.net/20.500.12536/314

Editor

ISSN de la revista

Estadísticas de uso
Oct 25Nov 25Dic 25Ene 26Feb 26Mar 26Abr 26
Página completa del ítem
Publicaciones relacionadas
Miniatura
A Modular Aspect-Oriented Programming Approach of Join Point Interfaces
2019 - Vidal-Silva, Cristian
Coincide por palabra clave: UML
Miniatura
A Spin / Promela Application for Model checking UML Sequence Diagrams
2018 - Vidal-Silva, Cristian
Coincide por palabra clave: Spin / Promela
Otros títulos del autor(es)
Miniatura
Aspect-Combining Functions for Modular MapReduce Solutions
2018 - Vidal-Silva, Cristian
Coincide por autor: Vidal-Silva, Cristian
Miniatura
Reviewing Diagnosis Solutions for Valid Product Configurations in the Automated Analysis of Feature Models
2019 - Vidal-Silva, Cristian
Coincide por autor: Vidal-Silva, Cristian
Miniatura
Scratch and Arduino for Effectively Developing Programming and Computing-Electronic Competences in Primary School Children
2019-11 - Vidal-Silva, Cristian
Coincide por autor: Vidal-Silva, Cristian