Towards practical runtime verification and validation of self-adaptive software systems
Software validation and verification (V&V) ensures that software products satisfy user requirements and meet their expected quality attributes throughout their lifecycle. While high levels of adaptation and autonomy provide new ways for software systems to operate in highly dynamic environments,...
- Autores:
-
Tamura Morimitsu, Gabriel
Wong, Kwok Yee Michael
Tahvildari, Ladan
Schäfer, Wilhelm J.
Pezzè, Mauro
Mankovskii, Serge
Karsai, Gábor
Becker, Basil
Sousa, João Pedro
Müller, Hausi A.
Villegas Machado, Norha Milena
- Tipo de recurso:
- http://purl.org/coar/resource_type/c_c94f
- Fecha de publicación:
- 2010
- Institución:
- Universidad ICESI
- Repositorio:
- Repositorio ICESI
- Idioma:
- eng
- OAI Identifier:
- oai:repository.icesi.edu.co:10906/81961
- Palabra clave:
- Sistemas de software
Usuarios
Automatización y sistemas de control
Automation Command and control system
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by-nc-nd/4.0/