Skip to search formSkip to main contentSkip to account menu
Diseño y verificación de sistemas distribuidos mediante la aplicación combinada de métodos formales
ESTA TESIS DOCTORAL SE CENTRA EN LA APLICACION DE LAS TECNICAS FORMALES AL DISENO Y VERIFICACION DE SISTEMAS DISTRIBUIDOS, CONCRETAMENTE A LA FASE INICIAL DE CAPTURA DE LOS REQUISITOS DE USUARIO, EL…
Una lógica temporal causal para la especificación de requisitos funcionales de un sistema distribuido
LTCS: una lógica temporal causal para la especificación y verificación de requisitos funcionales de un sistema distribuido
Modelo de reutilización de requisitos funcionales utilizando técnicas formales
Experiencias sobre una implementación libre y abierta del estándar MHP para TV digital interactiva
TLDR
This paper presents the experience implementing a prototype based on an open platform over RT-Linux, and presents the first implementations of MHP receivers make use of a proprietary OS.
Sistemas multimedia sobre redes de ámbito mundial
Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Realidades y posibilidades de XML en la normalización de la TV digital con MHP(Multimedia Home Platform)
TLDR
Esta versatilidad del lenguaje XML es described en tres facetas relacionadas with the normalizacion of the TV digital interactiva: en the especificacion of la norma MHP, en the caracterizacion de the metainformacion that describe los contenidos and in el ambito of the implementacion of aplicaciones.
Aprendizaje por inmersión en los procesos de Ingeniería del Software: estrategias colaborativas, juegos de rol y Web 2.0
Especificación y transformación de protocolos con LOTOS
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License