Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
15
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Specifications
18
Software engineering
16
Data structures
14
Automata theory
10
Ciencias Informáticas
9
Verification
8
Formal methods
7
Artificial intelligence
6
Computation theory
6
Computer software
6
Inductive learning
6
Java programming language
6
Learning systems
6
Operational requirements
6
Real time systems
6
Software testing
6
Specification languages
6
Symbolic execution
6
Alloy
4
Automated approach
4
Behavioral properties
4
Behaviour models
4
Code analysis
4
Computer aided software engineering
4
Computer software reusability
4
Constraint Solving
4
Design
4
DynAlloy
4
Engineering education
4
-
1por Zandarin, Nicolás H.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3
-
4
-
5por Bordenabe, Nicolas Emilio
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Bordenabe, Nicolas Emilio
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013