Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
SAT-solving
Specifications
8
Alloy
6
Alloy analyzers
6
Alloys
6
Cerium alloys
6
Software testing
6
Abstracting
4
Alloy languages
4
Alloying
4
Atomic transition
4
Automated test generation
4
Automated test generations
4
Autopilot systems
4
Bounded exhaustive testing
4
Computer software
4
Contour followers
4
Dynamic logic
4
Example based
4
Korat
4
Linguistics
4
Operational languages
4
Parallel analysis
4
Propositional formulas
4
Requirements specifications
4
SAT solvers
4
SAT solving
4
Software engineering
4
Tabular expressions
4
Tabular notation
4
-
1Materias: “...Alloy Analyzer...”
-
2por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Alloy Analyzer...”
SER -
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy...”
Publicado 2010
-
4Materias: “...Alloy...”
CONF -
5Publicado 2010Materias: “...Alloy analyzers...”
-
6Materias: “...Alloy analyzers...”
SER -
7por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy analyzers...”
Publicado 2010
-
8Materias: “...Alloy analyzers...”
SER -
9Materias: “...Alloy...”
-
10Materias: “...Alloy...”
JOUR -
11Materias: “...Alloy...”
-
12Materias: “...Alloy...”
CONF -
13
-
14Materias: “...Alloy languages...”
Artículo publishedVersion -
15Materias: “...Alloy languages...”
Artículo publishedVersion -
16Materias: “...Alloy languages...”
SER