Navegar

Colección

Datos Estadísticas

Conferencia

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" (2014) 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:65-70
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

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.

Registro:

Documento: Conferencia
Título:HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications
Autor:Giménez, M.; Moscato, M.M.; Pombo, C.G.L.; Frias, M.F.; Ribeiro L.; Aguirre N.
Filiación:Departamento de Computacíon, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina
Departmento de Ingeniería de Software, Instituto Tecnológico de Buenos Aires, CONICET, Argentina
Palabras clave: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
Año:2014
Volumen:139
Página de inicio:65
Página de fin:70
DOI: http://dx.doi.org/10.4204/EPTCS.139.7
Título revista:1st Latin American Workshop on Formal Methods, LAFM 2013
Título revista abreviado:Electron. Proc. Theor. Comput. Sci., EPTCS
ISSN:20752180
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p65_Gimenez

Referencias:

  • Beckert, B., Grebing, S., Evaluating the usability of interactive verification systems (2012) Comparative Empirical Evaluation of Reasoning Systems, , http://ceur-ws.org/Vol-873/papers/paper_4.pdf
  • Frias, M.F., Fork algebras in algebra, logic and computer science (2002) Advances in Logic, 2. , World Scientific Publishing Co., Singapore
  • Frias, M.F., Lopez Pombo, C.G., Aguirre, N.M., An equational calculus for Alloy (2004) Proceedings of the 6th. International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science, 3308, pp. 162-175. , Jim Davies, Wolfram Schulte & Mike Barnett, editors: Springer-Verlag, Seattle, Washington, United States
  • Frias, M.F., Lopez Pombo, C.G., Miguel Moscato, M., (2007) Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications, pp. 587-601. , Grumberg & Huth [8]
  • Goguen, J.A., Burstall, R.M., (1984) Proceedings of the Carnegie Mellon Workshop on Logic of Programs, Lecture Notes in Computer Science, 184, pp. 221-256. , Edmund M. Clarke & Dexter Kozen, editors:, Springer-Verlag, Introducing Institutions
  • Object constraint language specification (2004) Object Management Group. Version 1.5, , Object Management Group
  • OMG SysML specification coversheet (2004) Object Management Group. Version 1.0, , Object Management Group
  • Grumberg, O., Huth, M., 13th. International conference on tools and algorithms for the construction and analysis of systems (TACAS 2007) (2007) Lecture Notes in Computer Science, 4424. , Springer-Verlag, Braga, Portugal
  • Jackson, D., Alloy: A lightweight object modelling notation (2002) ACM Transactions on Software Engineering and Methodology, 11 (2), pp. 256-290
  • Carlos, G., Pombo, L., (2007) Fork Algebras As A Tool for Reasoning Across Heterogeneous Specifications, , http://digital.bl.fcen.uba.ar/Download/Tesis/Tesis_4113_LopezPombo.pdf, Ph.D. thesis, Departamento de Computation, Facultad de Ciencias Exactas y Naturales, Universi-dad de Buenos Aires. Promotor: Marcelo F. Frias
  • Meseguer, J., General logics (1989) Proceedings of the Logic Colloquium '87, 129, pp. 275-329. , Heinz-Dieter Ebbinghaus, Jose Fernandez-Prida, Manuel Garrido, Daniel Lascar & Mario Rodriguez Artalejo, editors: North Holland, Granada, Spain
  • Miguel Moscato, M., Pombo Lopez, C.G., Frias, M.F., Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements (2010) Proceedings of Theoretical Aspects of Computing-ICTAC 2010, 7th International Colloquium, Lecture Notes in Computer Science, 6255, pp. 275-289. , Ana Cavalcanti, David D'eharbe, Marie-Claude Gaudel & Jim Woodcock, editors: Springer-Verlag, Natal, Rio Grande do Norte, Brazil
  • Mossakowski, T., Maeder, C., Luttich, K., (2007) The Heterogeneous Tool Set, Hets, pp. 519-522. , Grumberg & Huth [8]
  • Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M., PVS: Combining specification, proof checking, and model checking (1996) Proceedings of the 9th. Computer Aided Verification (CAV), Lecture Notes in Computer Science, 1102, pp. 411-414. , Rajeev Alur & Thomas A. Henzinger, editors: Springer-Verlag, New Brunswick, NJ
  • Tarlecki, A., Moving between logical systems (1996) Selected Papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specifcation, Lecture Notes in Computer Science, 1130, pp. 478-502. , Magne Haveraaen, Olaf Owe & Ole-Johan Dahl, editors:, Springer-VerlagA4 -

Citas:

---------- APA ----------
Giménez, M., Moscato, M.M., Pombo, C.G.L., Frias, M.F., Ribeiro L. & Aguirre N. (2014) . HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications. 1st Latin American Workshop on Formal Methods, LAFM 2013, 139, 65-70.
http://dx.doi.org/10.4204/EPTCS.139.7
---------- CHICAGO ----------
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" . 1st Latin American Workshop on Formal Methods, LAFM 2013 139 (2014) : 65-70.
http://dx.doi.org/10.4204/EPTCS.139.7
---------- MLA ----------
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" . 1st Latin American Workshop on Formal Methods, LAFM 2013, vol. 139, 2014, pp. 65-70.
http://dx.doi.org/10.4204/EPTCS.139.7
---------- VANCOUVER ----------
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. Electron. Proc. Theor. Comput. Sci., EPTCS. 2014;139:65-70.
http://dx.doi.org/10.4204/EPTCS.139.7