Revista colombiana de computación
Idioma: Español Idioma: Inglés Analíticas: Mostrar analíticasDetalles de publicación: Bucaramanga (Colombia): Universidad Autónoma de Bucaramanga, 2013.Descripción: 163 Páginas. ilustraciones, 23.9 X 17.1 cmISSN:- 16572831
- Colombian journal of computation
- 003
Contenidos:
Analizando y aplicando la gamificación en el proceso childprogramming. -- Modelo de integración de componentes meodológicos dentro del contexto de CIAF. -- Propuesta arquitectural para la interoperabilidad entre sistemas multi-agente y mundos virtuales 3D. -- Hacia los entornos conscientes del contexto: un marco de trabajo para etiquetar consciencia del contexto. -- Indicios experimentales respecto del uso técnicas tradicionales de elicitación de requisitos de Software en ambientes de desarrollo distribuidos. -- Automatic proof-search heuristics in the maude invariant analyzer tool. -- An expanded and refined catalog of time patterns for workflows.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Revistas | BIBLIOTECA EDUARDO COTE LAMUS Sala 14 | Colección de Hemeroteca | 003 No. 2 Dic/2013 (Navegar estantería(Abre debajo)) | C.1 | Disponible | Ingeniería Sistemas | 0072567 |
Incluye contenido
Analizando y aplicando la gamificación en el proceso childprogramming. -- Modelo de integración de componentes meodológicos dentro del contexto de CIAF. -- Propuesta arquitectural para la interoperabilidad entre sistemas multi-agente y mundos virtuales 3D. -- Hacia los entornos conscientes del contexto: un marco de trabajo para etiquetar consciencia del contexto. -- Indicios experimentales respecto del uso técnicas tradicionales de elicitación de requisitos de Software en ambientes de desarrollo distribuidos. -- Automatic proof-search heuristics in the maude invariant analyzer tool. -- An expanded and refined catalog of time patterns for workflows.