Establecimiento y verificación de la consistencia en Dome: un caso de estudio /

Establecimiento y verificación de la consistencia en Dome: un caso de estudio /

Guardado en:

Detalles Bibliográficos
Autor principal:	Cabarcas, Daniel.
Autor Corporativo:	e-libro, Corp.
Otros Autores:	Arango, Fernando., Zapata, Carlos M.
Formato:	Artículo
Lenguaje:	Español
Publicado:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Materias:	Computers. > Business software. Artículos electrónicos.
Acceso en línea:	https://elibro.net/ereader/siduncu/296

Ejemplares similares

El software libre y las lenguas minoritarias: una oportunidad impagable /
por: Mas i Herna ndez, Jordi.
Publicado: (2003)

Propuesta de herramientas para la integración de datos en un entorno empresarial
por: Oliva Alfonso, Debora.
Publicado: (2011)

Algoritmos de trayectoria multiobjetivo aplicados al problema de asignación de recursos humanos a equipos de proyecto de software
por: Infante Abreu, Ana Lilian.
Publicado: (2012)

Especificación, verificación y derivación formal de programas /
Publicado: (2016)

Aplicación del enfoque de reglas de negocio sobre el paradigma MDA
por: Alonso Ochoa, José Luis.
Publicado: (2011)

Guía de recomendaciones para diseño de software centrado en el usuario /
por: Díaz, Javier,
Publicado: (2013)

Fábricas de software : experiencias, tecnologías y organización /
por: Piattini Velthuis, Mario.
Publicado: (2015)

Empezar a programar usando JAVA /
Publicado: (2013)

Industria del software
Publicado: (2005)

La Industria del software en Boyacá /
por: Rodríguez Moreno, Diana Cristina.
Publicado: (2020)

Heidenhain : aplicaciones de control numérico para fresadora /
por: Sans García, Jordi.
Publicado: (2008)

Computabilidad, complejidad computacional y verificación de programas /
por: Rosenfeld, Daniel Ricardo.
Publicado: (2013)

Guía práctica sobre software libre su selección y aplicación local en América Latina y el Caribe /
por: Rosa, Fernando da., et al.
Publicado: (2007)

La semiosis infinita y sus fronteras en un software educativo
por: Mosquera, Alexander.
Publicado: (2012)

Sistemas estructurales 1.0
por: Medina, María Teresita.
Publicado: (2005)

Devops y seguridad cloud /
por: Guijarro Olivares, Jordi,
Publicado: (2019)

Calidad de sistemas de información /
Publicado: (2015)

Calidad de sistemas de información /
por: Piattini Velthuis, Mario G.,
Publicado: (2018)

Estudio del estado del arte en la incorporación y desarrollo autónomo de emociones en agentes inteligentes /
por: Rodríguez, Sigerist.
Publicado: (2009)

Guía de introducción a la econometría utilizando Shazam professional
por: Cal Bouzada, María Isabel.
Publicado: (2012)

Manufactura esbelta
por: Omaña, Macringer.
Publicado: (2010)

Movimiento del software libre
por: López-Garay, Hernán.
Publicado: (2009)

Mantenimiento del software (UF1894) /
por: Pérez Carvajal, Rafael Jesús.
Publicado: (2014)

Libro electrónico como medio de enseñanza en los cursos de operador de microcomputadora y seguridad informática para los estudiantes de joven club de computación y electrónica del Municipio de San Cristóbal
por: Peñalver Martinez, Norberto.
Publicado: (2010)

Software educativo dirigido a apoyar la formación de una cultura energética, en los estudiantes de secundaria básica, desde los joven club de computación y electrónica
por: Martínez Orozco, Martha Margarita.
Publicado: (2010)

Recolección de basura en D
por: Lucarella, Leandro Matías.
Publicado: (2010)

Integración CAD/CAE/CAM-PR en la optimización del diseño de productos plásticos caso de estudio /
por: Candal, M. V.
Publicado: (2005)

Interpretación del modelo de madurez de capacidades (CMM) para pequeñas industrias de software Francisco Javier Álvarez Rodríguez ... [et al.].
Publicado: (2008)

Un modelo para la asignación de recursos humanos a equipos de proyectos de software /
por: André Ampuero, Margarita.
Publicado: (2015)

Aprende corel software educativo para el perfeccionamiento del proceso de enseñanza - aprendizaje del curso Corel Draw que se imparte en los joven club de computación y electrónica del Municipio Arroyo Naranjo
por: Chávez Hurtado, Mercedes.
Publicado: (2010)

ISO/IEC 29110 para procesos software en las pequeñas empresas /
Publicado: (2018)

Artefactos de especificación de requerimientos de usabilidad
por: Fagalde, Patricio.
Publicado: (2011)

Ciclo de vida de desarrollo ágil de software seguro /
por: Hernández Bejarno, Miguel.
Publicado: (2020)

Software educativo
Publicado: (2010)

Desarrollo de cursos críticos en línea: una solución para la demanda matricular caso: cursos básicos en ingeniería /
por: Sandia, Beatriz.
Publicado: (2008)

Estudio de la aplicabilidad de los agentes inteligentes en las interfaces de usuario
por: Narciso, Flor.
Publicado: (2007)

Desarrollo de software basado en tecnologías orientadas a componentes : cuaderno del alumno /
por: Guillamón Morales, Alicia.
Publicado: (2011)

Manual desarrollo de software basado en tecnologías orientadas a componentes : formación para el empleo /
por: Guillamón Morales, Alicia.
Publicado: (2011)

H-adaptatividad en un programa comercial de elementos finitos
por: Vergara, M. J.
Publicado: (2003)

Predicción de índices bursátiles mediante un sistema híbrido basado en modelos ocultos de Markov y redes neuronales artificiales
por: Jabbour, Georges.
Publicado: (2009)