HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Giménez, M., Moscato, M.M., Pombo, C.G.L., Frias, M.F., Ribeiro L., Aguirre N.
Formato: CONF
Materias:
Domestic appliances
Formal methods
Mobile phones
Software engineering
Specification languages
Specifications
Critical activities
Different analysis techniques
Diverse techniques
Graphical interface
Heterogeneous software
Software analysis
Software artifacts
Software failure
Application programs
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p65_Gimenez
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_20752180_v139_n_p65_Gimenez
record_format dspace
spelling todo:paper_20752180_v139_n_p65_Gimenez2023-10-03T16:39:15Z HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications Giménez, M. Moscato, M.M. Pombo, C.G.L. Frias, M.F. Ribeiro L. Aguirre N. Domestic appliances Formal methods Mobile phones Software engineering Specification languages Specifications Critical activities Different analysis techniques Diverse techniques Graphical interface Heterogeneous software Software analysis Software artifacts Software failure Application programs 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. © Moscato, M.M., Lopez Pombo, C.G. et. al. Fil:Frias, M.F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p65_Gimenez
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Domestic appliances
Formal methods
Mobile phones
Software engineering
Specification languages
Specifications
Critical activities
Different analysis techniques
Diverse techniques
Graphical interface
Heterogeneous software
Software analysis
Software artifacts
Software failure
Application programs
spellingShingle Domestic appliances
Formal methods
Mobile phones
Software engineering
Specification languages
Specifications
Critical activities
Different analysis techniques
Diverse techniques
Graphical interface
Heterogeneous software
Software analysis
Software artifacts
Software failure
Application programs
Giménez, M.
Moscato, M.M.
Pombo, C.G.L.
Frias, M.F.
Ribeiro L.
Aguirre N.
HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications
topic_facet Domestic appliances
Formal methods
Mobile phones
Software engineering
Specification languages
Specifications
Critical activities
Different analysis techniques
Diverse techniques
Graphical interface
Heterogeneous software
Software analysis
Software artifacts
Software failure
Application programs
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. © Moscato, M.M., Lopez Pombo, C.G. et. al.
format CONF
author Giménez, M.
Moscato, M.M.
Pombo, C.G.L.
Frias, M.F.
Ribeiro L.
Aguirre N.
author_facet Giménez, M.
Moscato, M.M.
Pombo, C.G.L.
Frias, M.F.
Ribeiro L.
Aguirre N.
author_sort Giménez, M.
title HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications
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
url http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p65_Gimenez
work_keys_str_mv AT gimenezm heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications
AT moscatomm heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications
AT pombocgl heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications
AT friasmf heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications
AT ribeirol heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications
AT aguirren heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications
_version_ 1807324086227959808

Ejemplares similares