Formal verification of the high availability quality attribute for software systems based on microservices architectures
ilustraciones, graficas
- Autores:
-
Dajer Piñerez, Camilo Andres
- Tipo de recurso:
- Fecha de publicación:
- 2023
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/83851
- Palabra clave:
- 000 - Ciencias de la computación, información y obras generales
Software architecture
Quality attributes
Formal methods
Architectural tactics
Formal verification
Microservices architecture
High availability
Arquitectura de software
Atributos de calidad
Métodos formales
Tácticas arquitectónicas
Verificación formal
Arquitectura de microservicios
Alta disponibilidad
Control de calidad
Diseño arquitectónico
Quality control
Building design
- Rights
- openAccess
- License
- Atribución-NoComercial-CompartirIgual 4.0 Internacional