Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
29
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Specifications
28
Model checking
16
Computer software
14
Ingeniería de Software
14
Adaptive control systems
12
Adaptive systems
12
Ciencias Informáticas
12
Controller synthesis
12
Ingeniería
11
Controllers
10
Requirements engineering
9
Application programs
8
Artificial intelligence
8
Behaviour models
8
Semantics
8
Static analysis
8
engineering
8
Abstracting
6
Algebra
6
Alloy languages
6
Automata theory
6
Computation model
6
Computational complexity
6
Computer simulation
6
Design
6
Dynamic logic
6
Formal logic
6
Goal-oriented requirements engineering
6
Iterative methods
6
-
1
-
2por Garrido, Alejandra, Antonelli, Rubén Leandro, Martín, Jonathan, Alemany, M. M. E., Mula, Josefa
Publicado 2020Aportado por: SEDICI (UNLP)Articulo Preprint -
3por Molina, Facundo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
4
-
5
-
6
-
7
-
8por Hadad, Graciela D. S.
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Working Paper -
9por Hadad, Graciela D. S.
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Working Paper -
10por Facultad de Ingeniería y Tecnología Informática
Publicado 2015Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
11por Facultad de Ingeniería y Tecnología Informática
Publicado 2015Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
12por Facultad de Ingeniería y Tecnología Informática
Publicado 2015Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
13por Facultad de Ingeniería y Tecnología Informática
Publicado 2015Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
14por Facultad de Ingeniería y Tecnología Informática
Publicado 2015Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
15por Hadad, Graciela D. S.
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Working Paper -
16
-
17
-
18por Preisegger, Juan Santiago, Greco, Alejandro Oscar, Pasini, Ariel C., Boracchia, Marcos, Pesado, Patricia Mabel
Publicado 2021Aportado por: SEDICI (UNLP)Libro Capitulo de libro -
19
-
20