Cargando…

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

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Cabarcas, Daniel
Autor Corporativo:	e-libro, Corp
Otros Autores:	Arango, Fernando, Zapata, Carlos M.
Formato:	Artículo
Idioma:	Español
Publicado:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Temas:	Computers. > Business software. Artículos electrónicos.
Acceso en línea:	Texto completo

Ejemplares similares

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

Lunar Domes Properties and Formation Processes /
por: Lena, Raffaello, et al.
Publicado: (2013)

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

The Dome of the Rock /
por: Grabar, Oleg
Publicado: (2006)

Innovación y capital social como factores de competitividad en la pyme : sector software /
por: Mejía Giraldo, Armando, et al.
Publicado: (2012)

Engineering Web Applications
por: Casteleyn, Sven, et al.
Publicado: (2009)

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)

Pleasure dome : new and collected poems /
por: Komunyakaa, Yusef
Publicado: (2001)

Pleasure Dome : New and Collected Poems /
por: Komunyakaa, Yusef
Publicado: (2001)

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

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

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers /
Publicado: (2016)

Domain architectures : models and architectures for UML applications /
por: Duffy, Daniel J.
Publicado: (2004)

Investigaciones sobre ingeniería de software /
por: Coque, Shirley, et al.
Publicado: (2017)

The Dome and the Rock : Structure in the Poetry of Wallace Stevens
por: Baird, James
Publicado: (1968)

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

Software testing and continuous quality improvement /
por: Lewis, William E.
Publicado: (2009)

Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers /
Publicado: (2014)

Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings /
Publicado: (2014)

Advances in Conceptual Modeling ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings /
Publicado: (2015)

Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings /
Publicado: (2016)

Winning with software : an executive strategy /
por: Humphrey, Watts S., 1927-
Publicado: (2002)

How To Start Up A Software Business Within A Cloud Computing Environment.
por: Buchegger, Thomas
Publicado: (2014)

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings /
Publicado: (2016)

Analysis and Design of Advice
por: Jureta, Ivan
Publicado: (2011)

Web Information Systems Engineering - WISE 2014 Workshops 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers /
Publicado: (2015)

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

Intentional Perspectives on Information Systems Engineering
Publicado: (2010)

QoS Management of Web Services
por: Zheng, Zibin, et al.
Publicado: (2013)

Modeling Semantic Web Services The Web Service Modeling Language /
por: de Bruijn, Jos, et al.
Publicado: (2008)

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers /
Publicado: (2015)

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities /
Publicado: (2014)

Enterprise Information Systems 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers /
Publicado: (2014)

Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers /
Publicado: (2013)

Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers /
Publicado: (2012)

Business Process Management 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings /
Publicado: (2014)

Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness /
por: Mendling, Jan
Publicado: (2008)

Pro freeware and open source solutions for business /
por: Whitt, Phillip (Digital image editor)
Publicado: (2015)

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

Software and System Development using Virtual Platforms : Full-System Simulation with Wind River Simics.
por: Aarno, Daniel
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_8kcf8pdgbm5k63gk06vq4nn8k3