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

Ejemplares similares

Ejemplares similares