Imágen de Portada

Código QR

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

Detalles Bibliográficos
Autor principal:	Cabarcas, Daniel.
Otros autores:	Arango, Fernando., Zapata, Carlos M., e-libro, Corp.
Formato:	Analítica
Idioma:	Spanish
Fecha de publicación:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Materias:	Computers. > Business software. Artículos electrónicos.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=296

Ejemplares similares

El software libre y las lenguas minoritarias: una oportunidad impagable /
por: Mas i Herna ndez, Jordi.
Fecha de publicación: (2003)

Propuesta de herramientas para la integración de datos en un entorno empresarial
por: Oliva Alfonso, Debora.
Fecha de publicación: (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.
Fecha de publicación: (2012)

Software architecture and design for reliability predictability /
por: Semegn, Assefa D.
Fecha de publicación: (2011)

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

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

Mirror worlds, or, The day software puts the universe in a shoebox how it will happen and what it will mean /
por: Gelernter, David Hillel.
Fecha de publicación: (1991)

Empezar a programar usando JAVA /
Fecha de publicación: (2013)

Flexible, reliable software : using patterns and agile development /
por: Christensen, Henrik Baerbak,
Fecha de publicación: (2010)

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

Secure and resilient software development /
por: Merkow, Mark S.,
Fecha de publicación: (2010)

Cloud enterprise architecture /
por: Raj, Pethuru.
Fecha de publicación: (2013)

Industria del software
Fecha de publicación: (2005)

La Industria del software en Boyacá /
por: Rodríguez Moreno, Diana Cristina.
Fecha de publicación: (2020)

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

Software error detection through testing and analysis
por: Huang, J. C., 1935-
Fecha de publicación: (2009)

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

Static analysis of software the abstract interpretation /
Fecha de publicación: (2012)

Professional Windows Embedded Compact 7
por: Phung, Samuel.
Fecha de publicación: (2011)

Software development rhythms harmonizing agile practices for synergy /
por: Lui, Kim Man.
Fecha de publicación: (2008)

Innovative software : running the rapids.
por: McKay, Kenneth N., 1953-
Fecha de publicación: (2019)

Fundamentals of software testing /
por: Homès, Bernard,
Fecha de publicación: (2012)

The complete software project manager : mastering technology from planning to launch and beyond /
por: Murray, Anna, 1966-
Fecha de publicación: (2016)

Lean architecture for agile software development
por: Coplien, James.
Fecha de publicación: (2010)

Using aspect-oriented programming for trustworthy software development
por: Safonov, V. O.
Fecha de publicación: (2008)

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.
Fecha de publicación: (2007)

La semiosis infinita y sus fronteras en un software educativo
por: Mosquera, Alexander.
Fecha de publicación: (2012)

Modeling software behavior : a craftsman's approach /
por: Jorgensen, Paul,
Fecha de publicación: (2009)

The ScrumMaster study guide
por: Schiel, James.
Fecha de publicación: (2012)

Process improvement and CMMI for systems and software /
por: Kenett, Ron,
Fecha de publicación: (2010)

Software engineering : the current practices /
por: Rajlich, Václav,
Fecha de publicación: (2012)

Sistemas estructurales 1.0
por: Medina, María Teresita.
Fecha de publicación: (2005)

Calidad de sistemas de información /
Fecha de publicación: (2015)

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

Programming multi-agent systems in AgentSpeak using Jason
por: Bordini, Rafael H.
Fecha de publicación: (2007)

Software testing and global industry : future paradigms /
por: Casey, Valentine.
Fecha de publicación: (2009)

Devops y seguridad cloud /
por: Guijarro Olivares, Jordi,
Fecha de publicación: (2019)

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

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

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