Resultado de la búsqueda
174 búsqueda de la palabra clave 'Materia = Ciencias: Informática: Lenguajes de programación'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprime la página de búsqueda actual...](./images/print.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
Las tecnologías y las técnicas para construcción de software han evolucionado rápidamente en los últimos diez años. En el ámbito de aplicaciones web han surgido nuevas tecnologías que ahora compiten entre sí. Los arquitectos y desarrolladores de[...]![]()
texto impreso
Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Montenegro Montes, Manuel ; Tamarit Muñoz, Salvador ; Sánchez Hernández, Jaime ; Gregorio Rodríguez, Carlos | 2016-01-28Proponemos estudiar la aplicabilidad y posibles medios de implementación de un sistema de tutoriales interactivos para el aprendizaje de la programación, donde el alumno aprende nuevos conceptos a la vez que los practica.![]()
texto impreso
Gómez-Zamalloa Gil, Miguel ; Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Correas Fernández, Jesús ; Genaim, Samir ; Puebla Sánchez, Germán ; Román Díez, Guillermo ; Peces, Raquel ; Giraldo, Carlos Gabriel ; Antolín, Clara | 2015-02-20El proyecto plantea el desarrollo de una herramienta de depuración simbólica que ayude a los estudiantes de las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos![]()
texto impreso
Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Rosa Velardo, Fernando ; Tamarit Muñoz, Salvador | 2015En este trabajo proponemos un sistema colaborativo para aprendizaje de lenguajes de programación![]()
texto impreso
![]()
texto impreso
En estos últimos años la curiosidad por el sector informático, y más específicamente en la programación, ha producido una gran demanda por los interesados en estas áreas. Esto ha provocado que el número de tutoriales y entrenadores haya aumentad[...]![]()
texto impreso
Históricamente, la materia de construcción de compiladores y procesadores de lenguaje es considerada por los estudiantes de ingeniería en informática como una materia difícil. Esto es debido, por una parte, a la naturaleza formal de las herramie[...]![]()
texto impreso
Las tecnicas de análisis de programas se han demostrado útiles en todo tipo de lenguajes de programación para determinar de forma estática aproximaciones a las propiedades dinámicas de los programas. Sus aplicaciones incluyen la optimización y t[...]![]()
texto impreso
La tesis se sitúa en el área de los lenguajes funcionales paralelos y muestra la utilidad de uno de ellos en el desarrollo de aplicaciones paralelas eficientes, entendiendo el concepto de eficiencia tanto en el aspecto de aprovechamiento de las [...]![]()
texto impreso
Romero Díaz, Carlos Alberto | 2007Desde hace varias décadas, el tratamiento del conocimiento incierto ha ido haciéndose necesario en diferentes áreas de la ciencia. En particular, son múltiples los resultados aportados desde el campo de la Inteligencia Artifcial y la Programació[...]![]()
texto impreso
La programación lógico-funcional es un paradigma de programación declarativa muy expresivo, fruto de la combinación de la programación funcional y la programación lógica. Entre sus principales características destacan la posibilidad de de1nir fu[...]![]()
texto impreso
El ordenador se ha utilizado como medio de expresión narrativa desde hace décadas. La informática ha permitido desarrollar tecnologías muy potentes para el tratamiento de la información narrativa, permitiendo almacenar, organizar, modificar y re[...]![]()
texto impreso
En la tesis se especifican, diseñan e implementan dos metodologías de enseñanza y aprendizaje de la física mediante computadora. Se validan, comparándolas entre si, y con una tercera metodología sin el uso de computadora. Para ello: 1) se han di[...]![]()
texto impreso
Peña Marí, Ricardo | 2013-04-23C. A. R. Hoare será investido Doctor Honoris Causa en Informática por la UCM el viernes 10 de mayo. La Facultad de Informática ha promovido este nombramiento. Hoare es Premio Turing, el máximo galardón que puede alcanzar un informático, y en su[...]![]()
texto impreso
Peña Marí, Ricardo | 2010-06-16he talk summarizes the work done by the author and his group in the last few years on the functional language Safe. This is an experimental language aimed at platforms with limited memory resources, and at a proof-carrying code framework. Its p[...]