Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refinar búsqueda
Fecha de publicación
2018
1
2014
1
2013
1
Disciplinas
INGENIERÍAS Y TECNOLOGÍAS
2
Ciencias de la Computación
1
Ciencias de la Computación e Información
1
CIENCIAS NATURALES Y EXACTAS
1
Ingeniería de Sistemas y Comunicaciones
1
Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información
1
Otras Ingenierías y Tecnologías
1
Otras Ingenierías y Tecnologías
1
Tipo de documento
Artículos
2
Tesis
1
Tipo de acceso
Acceso abierto
2
Embargado
1
Idioma
Español
2
Inglés
1
Autor
Miranda, Enrique Alfredo
2
Berón, Mario Marcelo
1
Frias, Marcelo Fabian
1
Gimenez, Manuel
1
Lopez Pombo, Carlos Gustavo
1
Moscato, Mariano Miguel
1
Riesco, Daniel Edgardo
1
Palabras clave
Ingeniería de Software
3
Comprensión de Programas
2
Especificación Heterogénea
1
Extracción de Información Estática
1
Grafo Estático de Llamadas A Métodos
1
Ingeniería Reversa
1
Métodos Formales
1
Verificación de Software
1
Buscar
Filtros
Use los filtros para refinar su búsqueda.
Filtro actual:
Titulo
Autor
Fecha de publicación
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tema
Contiene
Es igual
No contiene
No es igual
Nuevo filtro:
Titulo
Autor
Fecha de publicación
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tema
Contiene
Es igual
No contiene
No es igual
Palabra clave:Ingeniería de Software
X
Mostrando 3 de un total de 3 resultados.
(0.008 segundos)
Mostrando ítems 1-3 de 3
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100
Artículo
HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications
Gimenez, Manuel
;
Moscato, Mariano Miguel
;
Lopez Pombo, Carlos Gustavo
;
Frias, Marcelo Fabian
(
Electronic Proceedings in Theoretical Computer Science
,
2013-08
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
Extracción y análisis de información estática orientada a la comprensión de programas para Sistemas OO
Miranda, Enrique Alfredo
;
Berón, Mario Marcelo
;
Riesco, Daniel Edgardo
(
Universidad de Palermo
,
2014-11
)
Ingeniería de Sistemas y Comunicaciones. Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información. Ingenierías y Tecnologías
Tesis
Estrategias para interconectar el dominio del problema con el dominio del Programa en Sistemas Multiparadigmas
Miranda, Enrique Alfredo
Director:
Riesco, Daniel Edgardo
; Codirector:
Berón, María Fernanda
(
2018-03-23
)
Otras Ingenierías y Tecnologías. Otras Ingenierías y Tecnologías. Ingenierías y Tecnologías
Mostrando ítems 1-3 de 3
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100