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...
Guardado en:
| Autor principal: | |
|---|---|
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p65_Gimenez http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p65_Gimenez |
| Aporte de: |
| id |
paper:paper_20752180_v139_n_p65_Gimenez |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_20752180_v139_n_p65_Gimenez2023-06-08T16:34:14Z HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications Frias, Marcelo 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. 2014 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p65_Gimenez 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 Frias, Marcelo 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. |
| author |
Frias, Marcelo |
| author_facet |
Frias, Marcelo |
| author_sort |
Frias, Marcelo |
| 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 |
| publishDate |
2014 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p65_Gimenez http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p65_Gimenez |
| work_keys_str_mv |
AT friasmarcelo heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications |
| _version_ |
1768542909124050944 |