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

QR Code

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

Bibliographic Details
Main Author:	Cabarcas, Daniel.
Corporate Author:	e-libro, Corp.
Other Authors:	Arango, Fernando., Zapata, Carlos M.
Format:	Article
Language:	Spanish
Published:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Subjects:	Computers. > Business software. Artículos electrónicos.
Online Access:	https://elibro.net/ereader/unanicaragua/296

Similar Items

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

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

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

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

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

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

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

Empezar a programar usando JAVA /
Published: (2013)

Industria del software
Published: (2005)

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

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

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

Devops y seguridad cloud /
by: Guijarro Olivares, Jordi,
Published: (2019)

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

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

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

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

Sistemas estructurales 1.0
by: Medina, María Teresita.
Published: (2005)

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

Manufactura esbelta
by: Omaña, Macringer.
Published: (2010)

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

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

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

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

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

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
by: Martínez Orozco, Martha Margarita.
Published: (2010)

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
by: Peñalver Martinez, Norberto.
Published: (2010)

Proceso de desarrollo de software : basado en la articulación de RUP y CMMI priorizando su calidad /
by: Báez Pérez, Carmen Inés,
Published: (2015)

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

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
by: Chávez Hurtado, Mercedes.
Published: (2010)

Microservicios : un enfoque integrado /
by: Roldán Martínez, David,
Published: (2018)

Definición de un proceso de desarrollo de software en un entorno universitario
by: Díaz Polo, Daynel.
Published: (2011)

Artefactos de especificación de requerimientos de usabilidad
by: Fagalde, Patricio.
Published: (2011)

Software educativo
Published: (2010)

Evaluación en informática
by: Boloix, Germinal.
Published: (2009)

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

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

Tutorial de uso de CVS
by: Olea, Ismael., et al.
Published: (2007)

ProArgentina software/ América Latina /
Published: (2005)

Los modelos verbales en lenguaje natural y su utilización en la elaboración de esquemas conceptuales para el desarrollo de software, una revisión crítica
by: Zapata Jaramillo, Carlos Mario.
Published: (2005)