Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.
Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Validacio de modelos meteorologicos (hidrostatico y no hidrostatico) acoplados a un modelo lagrangiano de particulas en el entorno de la c.t. as pontes.
Tesis doctoral de Souto Alvedro M. Jesús Los modelos de simulación atmosférica han sido durante los últimos 30 años una
Analisis de redaccion de referencias y citas bibliograficas en literatura cientifica a traves del estudio de la normalizacion bibliografica.
Tesis doctoral de Borgoños Martinez M. Dolores El trabajo presenta un acercamiento a la utilización de la normalización bibliográfica para
Modelo depredador-presa. aplicaciones al control biológico
Tesis doctoral de Manuel Gamez Camara En esta memoria se considera un sistema diferencial cooperativo en el sentido de que
La nocion de continuidad desde la optica de los niveles de van hiele.
Tesis doctoral de Pedro Campillo Herrero Se estudia el concepto de continuidad local dentro del marco de los niveles de
Elementos de semántica denotacional de lenguajes de programación con datos borrosos.
Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal,
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
Sintaxis y codificacion en modelos de sistemas complejos.
Tesis doctoral de Francisco Vives Macia En esta tesis se ha elaborado un estudio sobre la modelización de los sistemas
Algunas contribuciones a la modelizacion matematica de procesos de combustion de carbon.
Tesis doctoral de Ferrin Gonzalez José Luis En esta tesis se propone un modelo matemático que describe el comportamiento de
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar