Verificacion de bases de conocimiento.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para […]
Tesis doctoral sobre Lenguajes formales
Accede a todas las tesis doctorales sobre Lenguajes formales mas relevantes.
Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos
Una logica no estandard admisible para programas funcionales
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas
Sistemas formales afines a la semantica de situaciones.
Tesis doctoral de Juan Barba Escriba Datos académicos de la tesis doctoral «Sistemas formales afines a la semantica de
Mejorando la accesibilidad de los serious games mediante herramientas de autoría
Tesis doctoral de Francisco Javier Torrente Vigil Los juegos digitales (término paraguas que abarca tanto videojuegos como juegos de ordenador
The notion of specialization in the i* framework
Tesis doctoral de Lidia López Cuesta This thesis provides a formal proposal for the specialization relationship in the i* framework
From the i* diversity to a common interoperability framework
Tesis doctoral de Carlos Cares Gallardo Desde que la propuesta de i* emergió en la comunidad de ingeniería de requerimientos
Rewriting-based verification and debugging of web systems
Tesis doctoral de Daniel Omar Romero The increasing complexity of web system has led to the development of sophisticated formal
Dynamic evolution and reconfiguration of software architectures through aspects
Tesis doctoral de Cristóbal Costa Soria Abstract change is an intrinsic property of software. A software system, during its lifetime,
An object-oriented formal notation: executable specifications in clay
Tesis doctoral de ángel Herranz Nieva La tesis introduce clay, una notación formal orientada a objetos que busca acercar los