Sistema de verificación de componentes software
Tesis doctoral de Cernuda Del Río Agustín Esta tesis se inscribe en el campo de la ingeniería de software, y […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Analisis de programas en lenguajes funcionales paralelos
Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado útiles en todo tipo
Enhancing collaborative learning using a simulated student agent
Tesis doctoral de Aurora Vizcaíno Barceló Datos académicos de la tesis doctoral «Enhancing collaborative learning using a simulated student
Desarrollo modular de procesadores de lengujaes a partir de especificaciones semanticas reutilizables
Tesis doctoral de José Emilio Labra Gayo En esta tesis se desarrolla un sistema de prototipado del lenguajes de programación
Un sistema de gestión de bases de datos orientadas a objetos sobre una máquina abstracta persistente
Tesis doctoral de Ana Belén Martínez Prieto Esta tesis describe un sistema de gestión de bases de datos orientadas a
Un framework orientado a aspectos para la descripción del comportamiento coordinado en sistemas abiertos
Tesis doctoral de Pérez Castellanos José Antonio La tesis presenta an framework aorientado a la discripción del comportamiento coordinado como
Una metodología para la ingeniería y reingeniería de sistemas de información basada en patrones, antipatrones y marcos
Tesis doctoral de García-tizón Iglesias José M. El objetivo fundamental de la tesis es aportar una metodología para la ingeniería
Sobre la equiValencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
Tesis doctoral de Lidia Sánchez Gil Eden es un lenguaje funcional paralelo que extiende haskell con construcciones sintácticas para especificar
Enfoque integrado para el modelado, emparejamiento y composición sensible al contexto de servicios semánticos, basado en precondiciones y efectos, orientado a entornos inteligentes
Tesis doctoral de Aitor Urbieta Arteche La visión planteada por weiser en la década de los 90 propone la visión
Towards the automatic synthesis of asynchronous communication mechanisms
Tesis doctoral de Kyller Costa GorgÁ´nio The correct transfer of data between concurrent processes is important in the exploitation of