HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications

Autores
Gimenez, Manuel; Moscato, Mariano Miguel; Lopez Pombo, Carlos Gustavo; Frias, Marcelo Fabian
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.
Fil: Gimenez, Manuel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
Fil: Moscato, Mariano Miguel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Lopez Pombo, Carlos Gustavo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Frias, Marcelo Fabian. Instituto Tecnológico de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Verificación de software
Especificación heterogénea
Métodos formales
Ingeniería de software
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/15812
Acceder
id CONICETDig_de3b84633e700d3d2cbfdb9addb58867
oai_identifier_str oai:ri.conicet.gov.ar:11336/15812
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling HeteroGenius: a framework for hybrid analysis of heterogeneous software specificationsGimenez, ManuelMoscato, Mariano MiguelLopez Pombo, Carlos GustavoFrias, Marcelo FabianVerificación de softwareEspecificación heterogéneaMétodos formalesIngeniería de softwarehttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.Fil: Gimenez, Manuel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; ArgentinaFil: Moscato, Mariano Miguel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Lopez Pombo, Carlos Gustavo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Frias, Marcelo Fabian. Instituto Tecnológico de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaElectronic Proceedings in Theoretical Computer Science2013-08info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/15812Gimenez, Manuel; Moscato, Mariano Miguel; Lopez Pombo, Carlos Gustavo; Frias, Marcelo Fabian; HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications; Electronic Proceedings in Theoretical Computer Science; Electronic Proceedings in Theoretical Computer Science; 139; 8-2013; 65-702075-2180enginfo:eu-repo/semantics/altIdentifier/url/http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?LAFM2013.7info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.139.7info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/1401.0974v1info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:44:37Zoai:ri.conicet.gov.ar:11336/15812instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:44:38.113CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
title HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
spellingShingle HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
Gimenez, Manuel
Verificación de software
Especificación heterogénea
Métodos formales
Ingeniería de software
title_short HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
title_full HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
title_fullStr HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
title_full_unstemmed HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
title_sort HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
dc.creator.none.fl_str_mv Gimenez, Manuel
Moscato, Mariano Miguel
Lopez Pombo, Carlos Gustavo
Frias, Marcelo Fabian
author Gimenez, Manuel
author_facet Gimenez, Manuel
Moscato, Mariano Miguel
Lopez Pombo, Carlos Gustavo
Frias, Marcelo Fabian
author_role author
author2 Moscato, Mariano Miguel
Lopez Pombo, Carlos Gustavo
Frias, Marcelo Fabian
author2_role author
author
author
dc.subject.none.fl_str_mv Verificación de software
Especificación heterogénea
Métodos formales
Ingeniería de software
topic Verificación de software
Especificación heterogénea
Métodos formales
Ingeniería de software
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.
Fil: Gimenez, Manuel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
Fil: Moscato, Mariano Miguel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Lopez Pombo, Carlos Gustavo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Frias, Marcelo Fabian. Instituto Tecnológico de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.
publishDate 2013
dc.date.none.fl_str_mv 2013-08
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/15812
Gimenez, Manuel; Moscato, Mariano Miguel; Lopez Pombo, Carlos Gustavo; Frias, Marcelo Fabian; HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications; Electronic Proceedings in Theoretical Computer Science; Electronic Proceedings in Theoretical Computer Science; 139; 8-2013; 65-70
2075-2180
url http://hdl.handle.net/11336/15812
identifier_str_mv Gimenez, Manuel; Moscato, Mariano Miguel; Lopez Pombo, Carlos Gustavo; Frias, Marcelo Fabian; HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications; Electronic Proceedings in Theoretical Computer Science; Electronic Proceedings in Theoretical Computer Science; 139; 8-2013; 65-70
2075-2180
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?LAFM2013.7
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.139.7
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/1401.0974v1
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Electronic Proceedings in Theoretical Computer Science
publisher.none.fl_str_mv Electronic Proceedings in Theoretical Computer Science
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842268680053850112
score 13.13397

Publicaciones similares