Por favor, use este identificador para citar o enlazar este ítem:
http://repository.icesi.edu.co/biblioteca_digital/handle/10906/81961
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Tamura Morimitsu, Gabriel | spa |
dc.contributor.author | Wong, Kwok Yee Michael | spa |
dc.contributor.author | Tahvildari, Ladan | spa |
dc.contributor.author | Schäfer, Wilhelm J. | spa |
dc.contributor.author | Pezzè, Mauro | spa |
dc.contributor.author | Mankovskii, Serge | spa |
dc.contributor.author | Karsai, Gábor | spa |
dc.contributor.author | Becker, Basil | spa |
dc.contributor.author | Sousa, João Pedro | spa |
dc.contributor.author | Müller, Hausi A. | spa |
dc.contributor.author | Villegas Machado, Norha Milena | spa |
dc.coverage.spatial | Germany de Lat: 51 30 00 N degrees minutes Lat: 51.5000 decimal degrees Long: 010 30 00 E degrees minutes Long: 10.5000 decimal degrees | spa |
dc.date.accessioned | 2017-08-23T05:11:32Z | - |
dc.date.available | 2017-08-23T05:11:32Z | - |
dc.date.issued | 2010-10-29 | - |
dc.identifier.govdoc | http://dx.doi.org/10.1007/978-3-642-35813-5_5 | - |
dc.identifier.isbn | 9783642358128 | - |
dc.identifier.uri | http://hdl.handle.net/10906/81961 | - |
dc.description.abstract | 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, developing certifiable V&V methods for guaranteeing the achievement of self-adaptive software goals is one of the major challenges facing the entire research field. In this chapter we (i) analyze fundamental challenges and concerns for the development of V&V methods and techniques that provide certifiable trust in self-adaptive and self-managing systems; and (ii) present a proposal for including V&V operations explicitly in feedback loops for ensuring the achievement of software self-adaptation goals. Both of these contributions provide valuable starting points for V&V researchers to help advance this field. | spa |
dc.format.extent | 108-132 páginas | spa |
dc.format.medium | Digital | spa |
dc.language.iso | eng | spa |
dc.publisher | Springer Verlag | spa |
dc.relation.ispartof | International Seminar on Software Engineering for Self-Adaptive Systems I | - |
dc.relation.ispartofseries | Lecture Notes in Computer Science | eng |
dc.rights | EL AUTOR, expresa que la obra objeto de la presente autorización es original y la elaboró sin quebrantar ni suplantar los derechos de autor de terceros, y de tal forma, la obra es de su exclusiva autoría y tiene la titularidad sobre éste. PARÁGRAFO: en caso de queja o acción por parte de un tercero referente a los derechos de autor sobre el artículo, folleto o libro en cuestión, EL AUTOR, asumirá la responsabilidad total, y saldrá en defensa de los derechos aquí autorizados; para todos los efectos, la Universidad Icesi actúa como un tercero de buena fe. Esta autorización, permite a la Universidad Icesi, de forma indefinida, para que en los términos establecidos en la Ley 23 de 1982, la Ley 44 de 1993, leyes y jurisprudencia vigente al respecto, haga publicación de este con fines educativos Todo persona que consulte ya sea la biblioteca o en medio electrónico podrá copiar apartes del texto citando siempre la fuentes, es decir el título del trabajo y el autor. | spa |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | - |
dc.subject | Sistemas de software | spa |
dc.subject | Usuarios | spa |
dc.subject | Automatización y sistemas de control | spa |
dc.subject | Automation Command and control system | spa |
dc.title | Towards practical runtime verification and validation of self-adaptive software systems | spa |
dc.type | info:eu-repo/semantics/conferenceObject | spa |
dc.audience | Comunidad Universidad Icesi - Investigadores | spa |
dc.publisher.faculty | Facultad de Ingeniería | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.publisher.program | Ingeniería Telemática | spa |
dc.publisher.department | Departamento Tecnologías de Información y Comunicaciones | spa |
dc.creator.email | gtamura@icesi.edu.co | spa |
dc.citation.volume | 7475 | - |
dc.rights.license | Atribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) | - |
dc.publisher.place | Germany | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_c94f | - |
dc.type.local | Documento de conferencia | spa |
dc.identifier.instname | instname: Universidad Icesi | - |
dc.identifier.reponame | reponame: Biblioteca Digital | - |
dc.identifier.repourl | repourl: https://repository.icesi.edu.co/ | - |
dc.rights.coar | http://purl.org/coar/access_right/c_abf2 | - |
dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 | - |
Aparece en las colecciones: | Apropiación social del conocimiento - i2T |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
tamura_towards_practical_2013.pdf | 467 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons