Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
114
Computer software
82
Software
72
article
66
Specifications
56
human
46
Semantics
40
priority journal
40
Algorithms
38
Model checking
38
Humans
36
TESIS
35
controlled study
32
nonhuman
32
computer program
30
Article
26
Mathematical models
26
Animals
24
Real time systems
24
Software testing
24
software
24
Argentina
23
Automata theory
22
Computer aided software engineering
22
Internet
22
Static analysis
22
male
22
Abstracting
20
Behaviour models
20
Embedded systems
20
-
1Tabla de Contenidos: “...Software and Software Engineering...”
Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)Libro -
2
-
3
-
4
-
5Materias: “...INGENIERIA DE SOFTWARE...”
Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)Libro -
6Tabla de Contenidos: “...Proceso de software y métricas de proyectos...”
Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)Libro -
7
-
8
-
9Materias: “...Software...”
Artículo publishedVersion -
10Publicado 2021Artículo publishedVersion
-
11Publicado 2016Materias: “...Software design...”
-
12
-
13
-
14por Galeotti, Juan Pablo“...La verificación acotada de software usando SAT consiste en la traducción del programa junto con las...”
Publicado 2010
Tesis doctoral publishedVersion -
15
-
16por Galeotti, Juan Pablo“...La verificación acotada de software usando SAT consiste en la traducción del programa junto con las...”
Publicado 2010
Tesis doctoral publishedVersion -
17
-
18Materias: “...Software design...”
CONF -
19
-
20por Galeotti, Juan Pablo“...La verificación acotada de software usando SAT consiste en la traducción del programa junto con las...”
Publicado 2010
Tesis Doctoral