SEDICI - Repositorio de la Universidad Nacional de La Plata
Inicio
Buscar material
Colecciones
Autores
Temas
Subir material
Institucional
¿Que es SEDICI?
Políticas del repositorio
Links
Staff
Cómo llegar
Preguntas frecuentes
Cómo agregar trabajos
Información para tesistas
Revistas de Acceso Abierto
Más preguntas frecuentes
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refine su busqueda
Tipo de documento
Objeto de conferencia (10)
Fecha de publicación
2010 - 2016 (1)
2000 - 2009 (7)
1997 - 1999 (4)
Materia
Ciencias Informáticas (10)
Informática (1)
Autor
Baum, Gabriel Alfredo (10)
Castro, Pablo Francisco (2)
Medel, Ricardo (2)
Pons, Claudia Fabiana (2)
Antonelli, Rubén Leandro (1)
Argarañaz, Verónica (1)
Daniele, Marcela (1)
Frias, Marcelo F. (1)
Giandini, Roxana Silvia (1)
Luna, Carlos Daniel (1)
Ver más
Palabra Clave
SOFTWARE ENGINEERING (6)
Formal methods (3)
Algebras Fork (2)
Ingeniería de Software (2)
Métodos Formales (2)
Algorithms (1)
Análisis de Algoritmos (1)
base de datos (1)
calculo relacional (1)
ciudadania (1)
Ver más
Unidades académicas
→
Facultad de Informática
Facultad de Informática
Resultados de su búsqueda...
Mostrando 10 de un total de 10 resultados de la comunidad: Facultad de Informática.
(0.484 segundos)
Mostrando ítems 1-10 de 10
1
Objeto de conferencia
VII Congreso Argentino de Ciencias de la Computación
2001
Utilizando contratos de reuso con alloy
Castro, Pablo Francisco; Baum, Gabriel Alfredo
Objeto de conferencia
VII Workshop de Investigadores en Ciencias de la Computación
2005
Traducción del modelo genérico del modelo de negocio a Object-Z
Daniele, Marcela; Martellotto, Paola; Baum, Gabriel Alfredo
Objeto de conferencia
IV Congreso Argentina de Ciencias de la Computación
1998
Optimización del orden de evaluación de programas recursivos
Luna, Carlos Daniel; Baum, Gabriel Alfredo
Objeto de conferencia
X Simposio de Informática en el Estado (SIE 2016) - JAIIO 45 (Tres de Feb...
2016
La Plataforma Clic como herramienta de comunicación y colaboración en el marco del Plan de Modernización del Estado
Baum, Gabriel Alfredo; Antonelli, Rubén Leandro; Mola, Vanesa; Nomdedeu, Leonardo; Silva Moran, Dario
Objeto de conferencia
III Workshop de Investigadores en Ciencias de la Computación
2001
Formalizing the software development process
Pons, Claudia; Giandini, Roxana Silvia; Baum, Gabriel Alfredo
Objeto de conferencia
III Congreso Argentino de Ciencias de la Computación
1997
Formalising sharing mechanisms in object-oriented paradigm
Argarañaz, Verónica; Baum, Gabriel Alfredo; Pons, Claudia; Presso, María José; Prieto, Máximo; Romero, Natalia
Objeto de conferencia
VIII Congreso Argentino de Ciencias de la Computación
2002
E-Machines
Castro, Pablo Francisco; Baum, Gabriel Alfredo
Objeto de conferencia
VIII Congreso Argentino de Ciencias de la Computación
2002
Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
Baum, Gabriel Alfredo; Medel, Ricardo
Objeto de conferencia
V Congreso Argentino de Ciencias de la Computación
2001
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
Medel, Ricardo; Baum, Gabriel Alfredo
Objeto de conferencia
V Congreso Argentino de Ciencias de la Computación
2001
A proof of the interpretability of P/PML in a relational setting
Baum, Gabriel Alfredo; Frias, Marcelo F.
Mostrando ítems 1-10 de 10
1
Iniciar sesión
Resultados
5
10
20
40
60
80
100
Ordenar por
Relevancia
Título (ascendente)
Título (descendente)
Fecha de publicación (ascendente)
Fecha de publicación (descendente)
Fecha de carga (ascendente)
Fecha de carga (descendente)