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 […]
Tesis doctoral sobre Lenguajes formales
Accede a todas las tesis doctorales sobre Lenguajes formales mas relevantes.
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
Utilización del lenguaje vila_1 para el intercambio de mensajes usando el vocabulario chino y el español
Tesis doctoral de Xiaochen Yang Esta tesis doctoral parte del lenguaje vila_1, que es un lenguaje visual para la comunicación
Comunicación y creatividad en el diseño de envases de productos de gran consumo: aportaciones de la metodología kansei, semántica del producto y lenguaje emocional.
Tesis doctoral de Ana Serrano Tierz El objetivo de la investigación se centra en ofrecer una panorámica útil a toda
Some aspects of user participation and the application of specifications in technology mediated educational innovation
Tesis doctoral de David Jenkins Griffiths Esta tesis está constituida por diversas actividades de investigación, entre las cuales principalmente encontramos
Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real
Tesis doctoral de Kawtar Benghazi Akhlaki La complejidad creciente de los sistemas de tiempo real (str) hace cada vez más