Documentos de José Pazos-Arias | REDI

Regresar

Mostrando 4 resultados de: 4

Filtros aplicados

Año de Publicación: "2003"

Subtipo de publicación

Publisher

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)

Área temáticas

Ciencias de la computación(2)

Instrumentos de precisión y otros dispositivos(2)

Comunicaciones(1)

Economía laboral(1)

Área de conocimiento

Ciencias de la computación(2)

Ingeniería de software(2)

Comunicación(1)

Origen

A mixed XML-JavaBeans approach to developing t-learning applications for the multimedia home platform

Abstract: E-learning technologies have developed greatly in recent years, with considerable success, which has

Palabras claves:

GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.

Improving the consistency checking process by reusing formal verification knowledge

Abstract: At an iterative and incremental requirements capture stage, each iteration implies identifying new r

Palabras claves:

GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.

Reuse of formal verification efforts of incomplete models at the requirements specification stage

Abstract: Even though verifying systems during any phase of the development process is a remarkable advantage

Palabras claves:

José Pazos-Arias, Redondo R.P.D., Vilas F.

The Multimedia Home Platform (MHP) framework for web access through digital TV

Abstract: The DVB Consortium has recently published the MHP standard to regulate the execution of interactive

Palabras claves:

Fernández A., García J., José Pazos-Arias, Ramos-Cabrer M., Redondo R.P.D., Solla A.G.