Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALLOY
2
ANALISIS AUTOMATICO DE SOFTWARE
2
AUTOMATED SOFTWARE ANALYSIS
2
BOUNDED EXHAUSTIVE VERIFICATION
2
DISTRIBUTED SYSTEMS
2
EJECUCION SIMBOLICA
2
INGENIERIA DE SOFTWARE
2
JAVA
2
JAVA (LENGUAJE DE PROGRAMACION)
2
JML
2
SISTEMAS DISTRIBUIDOS
2
SOFTWARE ENGINEERING
2
SYMBOLIC EXECUTION
2
Software engineering
2
Specifications
2
TACO
2
VERIFICACION EXHAUSTIVA ACOTADA
2
Alloy languages
1
Artificial intelligence
1
Atomic transition
1
Automated approach
1
Autopilot systems
1
Cerium alloys
1
Computation theory
1
Computer software
1
Dynamic logic
1
Example based
1
Learning systems
1
Linguistics
1
Model checking
1
-
1Materias: “...Software engineering...”
Artículo publishedVersion -
2por Rosner, Nicolás LeandroMaterias: “...SOFTWARE ENGINEERING...”
Publicado 2015
Tesis doctoral publishedVersion -
3
-
4Materias: “...Software engineering...”
Artículo publishedVersion