Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Program analysis
6
ANALISIS AUTOMATICO DE PROGRAMAS
3
COBERTURA
3
COVERAGE
3
FORMAL VERIFICATION
3
MODEL CHECKING
3
PROGRAM ANALYSIS
3
VERIFICACION FORMAL
3
Amber
2
Bernstein expansion
2
Ciencias Informáticas
2
Concurrent systems
2
Convex optimization
2
Convex polytopes
2
Database queries
2
Development environment
2
Development environments and tools
2
Distributed and concurrent systems
2
Elasticity
2
Embedded systems
2
End users
2
Memory requirement
2
Model checking
2
Optimization
2
Parallel
2
Path condition
2
Performance and scalabilities
2
Performance and scalability
2
Polynomials
2
Program Analysis
2
-
1por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno MatíasMaterias: “...Program analysis...”
Publicado 2009
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Mongiovi, MelinaMaterias: “...Program analysis...”
Publicado 2017
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3Publicado 2018Materias: “...Program Analysis...”
-
4por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Program Analysis...”
CONF -
5Publicado 2017Materias: “...Program analysis...”
-
6por Garbervetsky, D., Zoppi, E., Livshits, B., Zisman A., Bodden E., Schafer W., van Deursen A., Special Interest Group on Software Engineering (ACM SIGSOFT)Materias: “...Program analysis...”
CONF -
7Materias: “...Static program analysis...”
-
8Materias: “...Static program analysis...”
JOUR -
9
-
10por Castaño, RodrigoMaterias: “...PROGRAM ANALYSIS...”
Publicado 2018
Tesis doctoral publishedVersion -
11por Castaño, RodrigoMaterias: “...PROGRAM ANALYSIS...”
Publicado 2018
Tesis doctoral publishedVersion