Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
33
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
35
Formal methods
3
SOFTWARE ENGINEERING
3
Software
3
Alloy
2
Languages
2
Temporal logic
2
Testing
2
Tools
2
Verification
2
Workarounds
2
educación
2
ARTIFICIAL INTELLIGENCE
1
Abstract data types
1
Alloy buggy expressions
1
Assertion languages
1
Automatic Program Repair
1
Automation
1
B Method
1
Bounded Lazy Initialization (BLI)
1
Business
1
Computer Uses in Education
1
Construcción automática
1
Contracts
1
Datos complejos
1
Design languages
1
Drivers
1
DynAlloy
1
Educación
1
Education
1
-
1por Molina, Facundo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
2por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2010Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2009Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Arroyo, Marcelo
Publicado 2001Aportado por: SEDICI (UNLP)Objeto de conferencia -
6
-
7
-
8por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Medel, Ricardo
Publicado 1998Aportado por: SEDICI (UNLP)Objeto de conferencia -
9por Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2020Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
10por Ponzio, Pablo Daniel, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19por Gutiérrez Brida, Simón, Ponzio, Pablo Daniel, Bengolea, Valeria, Aguirre, Nazareno Matías
Publicado 2019Aportado por: SEDICI (UNLP)Objeto de conferencia -
20por Politano, Mariano, Bengolea, Valeria S., Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2019Aportado por: SEDICI (UNLP)Objeto de conferencia