Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 19 of 19 for “"Lenguajes de programación"”.
-
Propuesta de formación en lenguajes de programación en la tecnología virtual de análisis y desarrollo de software del sena.
La presente monografía, de título "Propuesta de formación en lenguajes de programación en la tecnología virtual de análisis y desarrollo de software del SENA", aborda la temática de las falencias que presentan los aprendices SENA en el dominio de los elementos que componen el ciclo formativo en …
-
Notify News Automatización de Microservicios, CI/CD y Kubernetes: una solución eficiente para el despliegue en la nube
Implementación de un sistema de microservicios con Kubernetes, desarrollado en diversos lenguajes de programación y orquestado mediante un sistema de mensajería asíncrona para promover interacción e independencia. La automatización de procesos CI/CD y el uso de Kubernetes aseguran una eficiente …
-
Generación Automática de Casos en Procesamiento de Eventos con EPL
La aplicación en diversas áreas de Internet de las Cosas (IoT) ha ido en aumento en los últimos años. Uno de los principales inconvenientes que tienen los sistemas IoT es la cantidad de información que tienen que manejar. Esta información llega en forma de eventos, cuyo receptor ha de tomar las …
-
Metodología de análisis dirigida por datos para principiantes en programación
Los lenguajes de programación visual (VPL), especialmente los basados en bloques, son cada vez más populares en la enseñanza y en el aprendizaje de la programación por ser más comprensibles y accesibles que los lenguajes de programación textual (TPL). Sin embargo, los programadores noveles pueden …
-
XC. Un lenguaje orientado a componentes para programación de sistemas
… las limitaciones en las técnicas actuales de subdivisión de sistemas informáticos y de su ensamblado. Este análisis pone en relieve deficiencias conocidas pero a menudo aceptadas en las técnicas usadas en la subdivisión del diseño y en el ensamblado de las aplicaciones finales. Carencias …
-
El ingeniero de sistemas en la evolución de un centro de datos de una empresa de telecomunicaciones
Alguna vez de niño pensé que la creatividad era lejana a un ingeniero y estaba reservada para los artistas. Que equivocado estuve. En la Universidad descubrí que la ingeniería y particularmente la ingeniería de sistemas era una fuente enorme de creatividad. La diferencia es que mientras el artista …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
Declarative programming languages allow the expression of programs in a language that is closer to the problem than to the implementation details. Regardless the generality of that definition, a more clear idea of declarativeness is proposed by Lloyd[Llo94], who proposes that programs are theories …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
RESUMEN El interés no puramente académico de los lenguajes de programación declarativos (es decir, funcionales y lógicos) se ha incrementado enormemente desde que la tecnología VLSI ha demostrado las posibilidades reales de construir máquinas paralelas capaces de ejecutar programas declarativos …
-
Realización de arquitecturas de código intermedio mediante un proceso de transcodificación concurrente con la ejecución
Está generalmente admitida la necesidad de soportar arquitecturalmente a los lenguajes de alto nivel. Con algunas excepciones, hasta hace poco se ha puesto un énfasis especial en el soporte en tiempo de ejecución, mientras que la traducción ha quedado relegada a un segundo plano. Reconociendo …
-
Gramáticas de atributos, clasificación y aportes en técnicas de evaluación
Las gramáticas de atributos, desde que fueron propuestas por Knuth en 1966, se han utilizado ampliamente para el desarrollo de herramientas de procesamiento de lenguajes formales como compiladores e intérpretes de lenguajes de programa-ción; como también para especificar la semántica de lenguajes. …
-
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación
Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de técnicas de paralelización automática. Existen resultados teóricos que pueden asegurar cuando los programas paralelizados son correctos, es decir, obtienen los mismos resultados que los correspondientes …
-
Método para el diseño, despliegue y evaluación de escenarios educativos extendidos usando programación visual
Adaptarse a las nuevas formas de crear, compartir ideas y contenidos digitales es uno de los mayores retos de nuestra sociedad. Las nuevas tecnologías informáticas pueden mejorar estas competencias de los profesionales en el ámbito de la educación, siendo deseable dotar a los educadores de las …
-
Técnicas de prueba avanzadas para la generación de casos de prueba
Software testing is a crucial phase in software development, particularly in contexts such as critical systems, where even minor errors can have severe consequences. The advent of Industry 4.0 brings new challenges, with software present in almost all industrial systems. Overcoming technical …
-
MIDGAR: Interoperabilidad de objetos en el marco de Internet de las cosas mediante el uso de ingeniería dirigida por modelos
… años ha surgido una revolución en el mundo de los objetos gracias a los y a la integración de estos en . Esto ha dado la oportunidad de aprovechar toda la información recogida por los objetos y utilizarla en La Nube (Cloud Computing), realizar allí la computación requerida y utilizar La Nube …
-
Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java
En las últimas dos décadas, una variedad de sofisticadas herramientas de análisis de terminación se han desarrollado. Estos incluyen los analizadores para sistemas de reescritura de terminos [GSKT06], lógicos y los de lenguajes funcionales [LS97]. El análisis de terminación [CT99, LJBA01] puede …
-
Las prácticas cooperativas como mejora del aprendizaje en programación de computadoras
Esta investigación aborda, el problema de la enseñanza y el de de la Programación de Computadores (PC). En el detalle, trata con el análisis, el diseño y la aplicación de una intervención basada en el uso de actividades de aprendizaje y trabajo cooperativo, con el propósito de mejorar los …
-
El Lenguaje CLP(H/E): Una Aproximación basada en Restricciones a la Integración de la Programación Lógica y Funcional
… of two of the most popular families of declarative languages: logical languages and equational languages. A relevant approach to address this problem is based on considering an equational logic program (P, E) as a positive logic program P that is augmented by a Horn equational theory E. …