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.
DynAlloy
9
Alloy
8
Code analysis
6
SAT-based code analysis
6
Static analysis
6
Alloying
4
Cerium alloys
4
Data structures
4
Java programming language
4
KodKod
4
Linked data structures
4
Model checking
4
Propositional formulas
4
Propositional variables
4
SAT-based bounded verification
4
Sequential programs
4
Software testing
4
Symmetry-breaking
4
Tools
4
Automated techniques
2
Automation
2
Commodity clusters
2
Computational complexity
2
Computer hardware description languages
2
Computer programming languages
2
Computer software
2
Computer software selection and evaluation
2
Data handling
2
Dynamic logic
2
Dynamic programming
2
-
1Materias: “...DynAlloy...”
-
2por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.Materias: “...DynAlloy...”
CONF -
3por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno MatíasMaterias: “...DynAlloy...”
Publicado 2010
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...DynAlloy...”
Publicado 2013
-
5Materias: “...DynAlloy...”
JOUR -
6por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...DynAlloy...”
Publicado 2010
-
7Materias: “...DynAlloy...”
CONF -
8Materias: “...DynAlloy...”
-
9Materias: “...DynAlloy...”
CONF