Complutense University Library

Items where Subject is "Sciences > Computer science > Software"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Number of items at this level: 86.

Article

Andrés Sánchez, César and García Merayo, Mercedes and Núñez , M. (2012) Formal passive testing of timed systems: theory and tools. Software testing verification & reliability, 22 (6). pp. 365-405. ISSN 0960-0833

Andradas Heranz, Carlos and Recio, Tomás and Tabera, Luis F. and Rafael Sendra, J. and Villarino, Carlos (2011) Proper real reparametrization of rational ruled surfaces. Computer aided geometric design, 28 (2). pp. 102-113. ISSN 0167-8396

Martínez Usero, José Ángel (2006) La utilización del Software Libre y de los Formatos Abiertos en la Administración Pública. AR: Revista de Derecho Informático (96). ISSN 1681-5726

Gómez Gómez, Francisco and Munuera Gómez, Pilar (2006) Experiencia del espacio virtual de coordinación de la Escuela de Trabajo Social. Acciones e Investigaciones Sociales (22). pp. 1-23. ISSN 1132-192X

Gómez Gómez, Francisco (2006) Innovación y Mejora de la Calidad Docente en Trabajo Social. Innovation and Improvement of the Educational Quality in Social Work. Acciones e Investigaciones Sociales (22). pp. 1-29. ISSN 1132-192X

Gutiérrez, J. P. and Goyache, F. (2005) A note on ENDOG: a computer program for analysing pedigree information. Journal of Animal Breeding and Genetics, 122 (3). pp. 172-176. ISSN 0931-2668

Gutiérrez García, Juan Pablo and Royo Martín, Luis José and Fernández Álvarez, Ana Isabel and Goyache Goñi, Félix María (2005) MolKin v2.0: a computer program for genetic analysis of populations using molecular coancestry information. Journal of Heredity, 96 (6). pp. 718-721. ISSN 0022-1503

Rodrigo Mateos, José Lázaro (1994) Programa de extracción automática de palabras con su contexto: REAL. Revista de la SEPLN, 14 . pp. 149-163. ISSN 1135-5948

Working Paper or Technical Report

Fernández-Valmayor Crespo, Alfredo and Fernández-Pampillón Cesteros, Ana and Varadero Software Factory, VSF (2013) Guía de Gestión del repositorio de Objetos Digitales OdA. [Working Paper or Technical Report] (Unpublished)

Fernández-Pampillón Cesteros, Ana (2012) El proyecto OdA: “Objetos de Aprendizaje en el campus virtual”. [Working Paper or Technical Report] (Unpublished)

Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [Working Paper or Technical Report] (Unpublished)

Rosa Velardo, Fernando (2007) Petri nets for the verification of Ubiquitous Systems with Transient Secure Association. [Working Paper or Technical Report] (Unpublished)

Book Section

Ávalos García, Adolfo and Barrera Martínez, Ildefonso and Gabriel y Galán Moris, José María and Gallardo García, Tomás and Gómez Garay, Aranzazu and Hernández, José María and Lahoz Beltrá, Rafael and López González-Nieto, Pilar and Marcos Samaniego, Nieves and Martín Calvarro, Luisa and García Moreno, Ana and Oliván Martínez, Gisela and Pérez-Urria Carril, Elena and Pintos López, Beatriz (2011) UCM-MACB 2.0: A Complutense University Virtual Herbarium Project. In Proceedings of EDULEARN11 Conference (International Conference on Education and New Learning Technologies). International Association of Technology, Education and Development (IATED), 001446-001451. ISBN 978-84-615-0441-1

Gómez Albarrán, Mercedes and Jiménez Díaz, Guillermo and López Fernández, Marta and Gómez Martín, Marco Antonio and Hernández Yáñez, Luis Antonio and Ruiz Iniesta, Almudena and Díaz Esteban, Alberto (2009) Evolución de un espacio de trabajo multidisciplinar para el aprendizaje de la programación basado en casos prácticos: de los repositorios a los cursos adaptativos en el Campus Virtual de la UCM. In V Jornada Campus Virtual UCM: Buenas prácticas e indicios de calidad. Universidad Complutense, Madrid, pp. 39-49. ISBN 978-84-7491-968-4

Cleva Millor, José Miguel and Gregorio Rodríguez, Carlos and Rosa Velardo, Fernando (2005) Un campus virtual alternativo. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 222-232. ISBN 84-7491-787-5

Conference or Workshop Item

Villanueva Micó, Rafael Jacinto (2013) Pertinence of a change in the meningococcal C vaccine schedule in the Community of Valencia: agent-based modeling. In Ciclo de conferencias de la Facultad de Informática 2012/2013, 18 de junio de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

Sáenz Pérez, Fernando (2011) Deductive databases. In Ciclo de conferencias de la Facultad de Informática 2010/2011, 21 de septiembre de 2011, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

Thesis

Ruiz Iniesta, Almudena (2014) Estrategias de recomendación basadas en conocimiento para la localización personalizada de recursos en repositorios educativos. Tesis PhD.

González del Campo Rodríguez Barbero, Ramón (2013) Generalizaciones de las medidas de especificidad de la Τ-transitividad para conjuntos difusos intervalo valorados. Tesis PhD.

Mesquita Buiati, Fábio (2013) Diseño e implementación de un sistema de información de movilidad para redes heterogéneas. Tesis PhD.

Rabanillo García, Juan (2013) Detección de Soft Errors en Bloques Multiplicadores de Filtros FIR. Tesis Master's thesis.

Moya Señas, Ignacio (2013) Diseño de ejemplos docentes para el aprendizaje eficaz de metodologías orientadas a agentes. Tesis Master's thesis.

Ospino Rivas, John (2013) ECREHAB: ecosistema para herramientas software de rehabilitación cognitiva. Tesis Master's thesis.

Morillo Prieto, Héctor Abraham (2013) Entorno de experimentación para generación de indicaciones en interiores. Tesis Master's thesis.

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. Tesis Master's thesis.

Estévez González, Víctor (2013) Visión general de los Sistemas de Información Geográfica: Geoservicios en la web. Tesis Master's thesis.

Rodríguez-Pascual, Manuel (2012) Ejecución eficiente de códigos Monte Carlo en infraestructuras de Grid. Tesis PhD.

Ruiz Caricote, César Octavio (2012) Desarrollo de RIAS: caso de estudio en el dominio de la anotación de textos literarios digitalizados. Tesis Master's thesis.

Serrano Laguna , Ángel (2012) GLAS : framework to improve assesment in educational videogames. Tesis Master's thesis.

Domínguez Bayo, Helio Alejandro (2012) Simulación de modelos demográficos basados en agentes. Tesis Master's thesis.

Camacho González , Carlos (2012) Software product lines using FODA: a formal approach. Tesis Master's thesis.

Domenech Marín, Francisco (2011) ASA: sistema automático de personalización aplicado a personajes de videojuegos. Tesis Master's thesis.

Cortés Benavides, Humberto Javier (2011) Extensión UML para el modelado de mapas navegacionales de aplicaciones web basado en MDA. Tesis Master's thesis.

García Gallardo, Orión (2011) Simulación basada en agentes de tráfico aéreo. Tesis Master's thesis.

Cristóbal Barrios, Jesús (2011) Soporte en plataformas de e-Learning a patrones pedagógicos. Tesis Master's thesis.

Burgos Artizzu, Xavier Paolo (2010) Percepción y actuación para el tratamiento selectivo de malas hierbas en tiempo real. Tesis PhD.

García-Magariño García, Iván (2010) Un marco para la definición y transformación de modelos en los sistemas multiagentes. Tesis PhD.

García Sánchez , Ana María (2010) Evaluación de métricas de calidad del software sobre un programa Java. Tesis Master's thesis.

Sanz Troyano, Elisa (2010) Introducing accesibility features in authoring tools for creating accesible educational games: e-adventure. Tesis Master's thesis.

Gracia Benítez, Juan Pablo (2010) Marco para la transformación de modelos basado en gramáticas de atributos. Tesis Master's thesis.

Gómez Martín, Marco Antonio (2009) Arquitectura y metodología para el desarrollo de sistemas educativos basados en videojuegos. Tesis PhD.

Gómez Martín, Pedro Pablo (2009) Modelo de enseñanza basada en casos: de los tutores inteligentes a los videojuegos. Tesis PhD.

Rodríguez Pérez, Álvaro (2009) Asistente para gestión de organizaciones de agentes software. Tesis Master's thesis.

Fernández Sáez, Pedro Antonio (2009) Un análisis crítico de la aproximación Model-Driven architecture. Tesis Master's thesis.

Blanco Aguado , Ángel del (2009) Una arquitectura general para la integración de videojuegos educativos en entornos virtuales de enseñanza. Tesis Master's thesis.

Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. Tesis Master's thesis.

Hassan Collado, Samer (2007) Modelado y simulación de la evolución de valores en sociedades humanas con agentes software. Tesis Master's thesis.

Sastre Llorente, Santiago (2006) Programa multimedia de desarrollo de capacidades en alumnos del primer ciclo de educación primaria. Tesis PhD.

Navarro Martín, Antonio (2004) Conceptualización, prototipado y proceso de aplicaciones hipermedia. Tesis PhD.

Vázquez Morcillo, Andrés (2002) Especificación, diseño, implementación y validación de diferentes estructuras de material informatizado para E.A.C. de la física mediante un entorno de autor mixto. Tesis PhD.

Alba Pastor, Carmen (2002) Evaluación sumativa y formativa de software educativo para la etapa infantil. Tesis PhD.

Buenaga Rodríguez, Manuel de (2002) Integración de técnicas de procesamiento del lenguaje natural para la recuperación de información en bibliotecas de componentes software. Tesis PhD.

Sáenz Pérez, Fernando (2002) Sistema de identificación y explotación de paralelismo en programas lógico-funcionales. Tesis PhD.

Maestro de la Cuerda, Juan Antonio (2002) Técnicas de estimación de rendimiento y área para el particionamiento hardware-software en un entorno de codiseño. Tesis PhD.

Coursework

Peñalver Santorio, Alejandro and Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [Coursework] (Unpublished)

Bueno Gómez, Miguel and Segovia Sanz, Alberto and Torres González, Víctor (2013) Aplicación móvil itinerarios guiados Parque del Retiro. [Coursework] (Unpublished)

Fernández Vázquez, Carlos and Octavio de Toledo Rodríguez, María del Mar and Sanmartín Sánchez, Antonio (2013) Aplicación móvil para escuelas de educación ambiental del Ayuntamiento de Madrid. [Coursework] (Unpublished)

Cruz Botelho, Giovanna da (2013) Auditor automático para nivel 2 del CMMI-SW. [Coursework] (Unpublished)

Bustillo Rebanal, Álvaro and Callejo Luis, Arturo and Martos Gómez, Héctor A. (2013) Camino seguro al cole: aplicación móvil en colaboración con el Ayuntamiento de Madrid. [Coursework] (Unpublished)

Barroso Puertas, Carmen and Guillamón Martín, Joaquín and Gonzalo Hinojosa, Iván (2013) Diseño de una herramienta software para el aprendizaje del idioma basado en procesos históricos. [Coursework] (Unpublished)

Cerro Cañizares, Pablo and Esteban Luis, Cristina María (2013) Emulador software para el cálculo de primos de Mersenne. [Coursework] (Unpublished)

Hervás Martín, Lucía and Martínez Simón, Víctor and Sánchez Martínez, Irene (2013) Extracción de información en informes médicos. [Coursework] (Unpublished)

Martínez Moreno, Pedro Luis and Nombela Gómez, Juan Manuel and Salinas Fernández, Daniel (2013) Herramienta para la experimentación sobre métricas de testeabilidad. [Coursework] (Unpublished)

Alfaro Orgaz, Ana and Ballesteros Navajas, Sergio and Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Coursework] (Unpublished)

Agudo Calvo, Belén and Jorro Aragoneses, José Luis and Valle Corral, Jessica del (2013) Sistema de recomendación de actividades turísticas: Madrid Live. [Coursework] (Unpublished)

Luis Nieto, Sergio de and González Ledesma, David and Muñoz del Rey, Alejandro (2013) eCharacter: una herramienta libre para la creación de personajes 3D. [Coursework] (Unpublished)

Moya Ruiz, Carlos and Constanzo Oliver, David José and Martín Díez-Madroñero, Julián (2012) Desarrollo basado en modelos de aplicaciones de gestión de datos para dispositivos móviles. [Coursework] (Unpublished)

Bautista Barahona, Enrique and Salcedo Ramos, Ignacio and Ureña Herradón, Alberto (2012) Procesador automático de informes médicos. [Coursework] (Unpublished)

Martínez del Camino, Guillermo (2012) Simulaciones de emergencia en entornos 3D. [Coursework] (Unpublished)

Celador Hernández, José Enrique and Lucas Martín, Ignacio and Torres Bustillos, Carla (2012) Simulador ARM en el ámbito docente. [Coursework] (Unpublished)

Goicoechea Lassaletta, Aris and Calleja Fernández, Marcos and Pizarro Moleón, Pablo (2012) Terraform: simulación de vida sobre planetas generados. [Coursework] (Unpublished)

González Escudero, Álvaro and Álvarez Ramírez, Daniel and Acosta Berrio, Laura (2012) jPET 2.0: un generador automático de casos de prueba sobre programas Java. [Coursework] (Unpublished)

García, Pedro Pablo (2011) Desarrollo de un sistema de consultas web para sistemas SAT. [Coursework] (Unpublished)

Martín López, Fausto and Pedrosa Guerrero, Jesús and Sánchez González, Luis (2011) Editor colaborativo. [Coursework] (Unpublished)

Moscardó Marichalar, Javier and Pozuelo Mayordomo, Pablo and Truan Cano, Guillermo (2011) Software libre de gestión Web de una consulta: gestión de consultas de traumatología. [Coursework] (Unpublished)

Berbis González, Eduardo and León Guerrero,, Saúl and Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Coursework] (Unpublished)

Cabañas Ruiz, Israel and lores Montoya, Antonio and Gutiérrez Mota, Sergio (2011) jPET: un generador de casos de prueba sobre programas Java. [Coursework] (Unpublished)

Henche Grande, Laura (2010) ¿Un Videojuego en la Biblioteca? [Coursework] (Unpublished)

García Logrosán, Ángel and Vicente Díez, Beatriz and Vlad, Alexandra (2010) Bib Manager y Word Citer. [Coursework] (Unpublished)

Collado Iglesias , Blanca and Fernández Sánchez , Antonio Javier and Pozuelo González , Sara (2010) Detección de pares de movimiento propio común mediante minería de datos. [Coursework] (Unpublished)

Castilla Carramiñana , Joaquín and Mendiola Martínez, Laura and Zumaeta Sánchez, Rosa Olivia (2010) Generador de currículos en diferentes estilos: aplicación web. [Coursework] (Unpublished)

Galán Vicente, Daniel and González Ariibas, Francisco (2010) Simulador de elementos de campo para el control de tráfico ferroviario. [Coursework]

Caballero Prados, Jorge and Jimeno Hidalgo, Pablo Rodrigo and Ortega Maestro, Raúl (2010) Sistema de análisis de encuestas de marcas de distribuidor. [Coursework] (Unpublished)

Esteve Díaz, Pablo and Roldán Gutiérrez, David and Mendoza Macías, Juan Carlos de (2010) e-Learning managements tools. [Coursework] (Unpublished)

Sánchez Sánchez, Vanesa and Vicente Martín, Soledad and Coba Crespo, Eduardo (2005) Simulación de la creación de una “Start-up” de tecnología de servicios inalámbricos mediante PDA´s. [Coursework] (Unpublished)

Fernández Sánchez, Alberto and Arnáiz García, Diego and Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Coursework] (Unpublished)

This list was generated on Wed Apr 23 02:05:51 2014 CEST.