Temas
Coq
5
SOFTWARE-DESARROLLO
4
Java Micro Edition
3
MIDP
3
Calculus of Inductive Constructions
2
Especificaciones Formales
2
INGENIERÍA DIRIGIDA POR MODELOS
2
Interactive Mobile Devices
2
Model Driven Development
2
Modelado de Sistemas
2
TEOREMA AUTOMÁTICO-DEMOSTRACIÓN
2
TEORÍA DE TIPOS
2
Teoría de Tipos
2
UML
2
Alternating-time temporal logic (ATL)
1
Android
1
Análisis Formal
1
Constructive Type Theory
1
Correctness
1
Correctness Proofs
1
Desarrollo de Software Guiado por Modelos
1
Dispositivos Móviles Interactivos
1
Dispositivos móviles
1
ENSEÑANZA
1
ENSEÑANZA DE LA PROGRAMACION
1
Enseñanza de la Programación
1
Especificación y Prueba Asistida de Propiedades.
1
Especificación y Verificación Formal
1
Formal Methods
1
Formal specification
1
Hypercall
1
Information Integrity
1
Ingeniería Dirigida por Modelos
1
Ingeniería de Software
1
MDD
1
MIDP 2.0
1
Microcontroladores (PICs)
1
Mobile Information Device Profile
1
Model Checking
1
Model Driven Engineering
1
Model Transformations
1
Model-Driven Engineering
1
Modelo de Seguridad
1
Modelos
1
Monitor de Máquinas Virtuales
1
Máquina Virtual
1
Métodos Formales
1
Programación Funcional
1
Programación Imperativa
1
Role Based Access Control
1
más ...