Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
2
Model checking
2
SAT solvers
Abstracting
1
Alloy
1
Atomic actions
1
Automated techniques
1
Case studies
1
Code analysis
1
Computer software
1
Computer software reusability
1
Computer software selection and evaluation
1
Data structures
1
DynAlloy
1
Dynamic logics
1
Execution trace
1
Final states
1
Formal methods
1
Intermediate states
1
JAVA programs
1
KodKod
1
Linked data structures
1
Operational units
1
Orders of magnitude
1
Partial correctnesses
1
Predicate abstractions
1
Program translators
1
Propositional formulas
1
Propositional variables
1
Prototype tools
1
-
1Materias: “...Computer software...”
-
2por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Computer software selection and evaluation...”
Publicado 2010