Jerarquias de herencia en el diseño de software orientado al objeto
Tesis doctoral de Marques Corral José Manuel Este trabajo de investigacion se situa en el ambito de la problematica que […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Problemas algoritmico-combinatorios de visibilidad.
Tesis doctoral de Jesús García López De Lacalle En esta tesis se presentan diversos resultados dentro del campo de visibilidad,
Sistematizacion y uso de las tecnicas de visualizacion de programas concurrentes.
Tesis doctoral de Gomez Henriquez Luis Manuel La visualizacion de programas es el arte de hacer que los programas tengan
Tolerancia de estructuras geometricas y combinatorias.
Tesis doctoral de Ramos Alonso Pedro Antonio En esta tesis se introduce el concepto de tolerancia de una estructura o
Algoritmos paralelos basados en el metodo de lanczos. aplicaciones en problemas de control.
Tesis doctoral de Aliaga Estelles José Ignacio El objetivo fundamental de esta tesis doctoral ha sido la definicion de la
Estudio de los metodos de interaccion usuario-aplicacion en simulacion mecanica.
Tesis doctoral de Luis María no Matey Muñoz Esta tesis optimiza los metodos de interaccion en el campo de la
Modelado de solidos y algebra de objetos graficos.
Tesis doctoral de Francisco Ramon Feito Higueruela A partir de las formalizaciones propuestas por fiume (1988) y torres (1992) para
Reflexiones sobre el proceso de concepcion de sistemas complejos. medes: un metodo de especificacion, desarrollo y evolucion de sistemas software.
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la
The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification
Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.
Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en