Invariant-free deduction systems for temporal logic
Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our […]
Tesis doctoral sobre Lenguajes de programacion
Accede a todas las tesis doctorales sobre Lenguajes de programacion mas relevantes.
Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs
Towards a framework for proving termination of maude programs
Tesis doctoral de Beatriz Alarcón Jiménez Maude is a declarative programming language based on rewriting logic that incorporates many features
Model driven product line engineering: core asset and process implications
Tesis doctoral de Maider Azanza Sese Reuse is at the heart of major improvements in productivity and quality in software
Rol semantikoen etiketatze automatikoa: rol multzoak eta hautapen murriztapenak
Tesis doctoral de Beñat Zapirain Sierra Laburpena tesi honetan, rolen sailkatze automatikoan (rsa) aski ezagunak diren bi arazo izan ditugu
Autenticación por huella dactilar en sistemas de gestión de aprendizaje y su análisis empírico en estudiantes de ingeniería.
Tesis doctoral de Rosario Gil Ortego En la presente tesis doctoral se trata la problemática de garantizar la identidad de
Discovery, adaptation and monitoring of context aware services and components
Tesis doctoral de Javier Cubo Villalba Título de la tesis: damasco: discovery, adaptation and monitoríng of context-aware services and components
Implementación en tarjetas inteligentes java card de protocolos de cifrado y descifrado basados en curvas elípticas
Tesis doctoral de Víctor Antonio Gayoso Martínez En 1985, neal koblitz y victor miller propusieron de forma independiente el uso
Formalización del paradigma de desarrollo de soluciones software por sus usuarios finales
Tesis doctoral de David Lizcano Casas El siguiente paso lógico en la evolución de las aplicaciones basadas en servicios existentes
Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral de Michele Baggi From the earliest hardware and software days to the internet era, complexity of computer systems