Animación automática de especificaciones oasis utilizando programación lógica concurrente
Tesis doctoral de Letelier Torres Patricio Orlando El modelo conceptual expresa los requisitos funcionales de un sistema de información. Errores […]
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Tesis doctoral de Letelier Torres Patricio Orlando El modelo conceptual expresa los requisitos funcionales de un sistema de información. Errores […]
Tesis doctoral de Fernando Garcia Valles El marco general del trabajo es el análisis de sistemas de eventos discretos modelados
Tesis doctoral de José Tomás Palma Méndez La principal aportación de este trabajo consiste en el planteamiento de una metodología
Tesis doctoral de Montserrat Maritxalar Anglada El trabajo realizado ha tenido un doble objetivo: teórico y práctico. definimos el objetivo
Tesis doctoral de Joan Manuel Ferre Gine Se presenta un método automático para localizar estructuras coherentes en un campo de
Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal,
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
Tesis doctoral de Agustin Alvarez Marquina La hipótesis en la que se basa el desarrollo de esta tesis, se centra
Tesis doctoral de Francisco Manzano Agugliaro En el presente trabajo se han estudiado; los condicionantes minimos que deben reunir los
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos