Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
8
Static analysis
Alloying
6
Code analysis
6
DynAlloy
6
Propositional formulas
6
SAT-based code analysis
6
Cerium alloys
4
Data structures
4
Java programming language
4
KodKod
4
Linked data structures
4
Model checking
4
Propositional variables
4
SAT-based bounded verification
4
Sequential programs
4
Software testing
4
Symmetry-breaking
4
Tools
4
Alloy analyzers
2
Alloy languages
2
Alloys
2
Analysis costs
2
Automated techniques
2
Commodity clusters
2
Computer software
2
Computer software selection and evaluation
2
Data handling
2
Execution trace
2
Experimental evaluation
2
-
1Materias: “...Alloy...”
-
2
-
3Materias: “...Alloy...”
-
4por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.Materias: “...Alloy...”
CONF -
5por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy...”
Publicado 2013
-
6Materias: “...Alloy...”
JOUR -
7por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy...”
Publicado 2010
-
8Materias: “...Alloy...”
CONF