Documentos de Redondo R.P.D. | REDI

Regresar

Mostrando 7 resultados de: 7

Filtros aplicados

Año de Publicación: "2002"

Subtipo de publicación

Conference Object(7)

Publisher

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference(2)

Conference Proceedings of the EUROMICRO(1)

Electronic Notes in Theoretical Computer Science(1)

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

Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002(1)

Área temáticas

Programación informática, programas, datos, seguridad(3)

Ciencias de la computación(2)

Comunicaciones(2)

Derecho privado(1)

Dirección general(1)

Área de conocimiento

Ingeniería de software(5)

Ciencias de la computación(1)

Comunicación(1)

Simulación por computadora(1)

Origen

Palabras Claves

Digital Interactive Television(1)

Internet through TV(1)

component-based requirements engineering(1)

Approximate Retrieval of Incomplete and Formal Specifications applied to horizontal reuse

Conference Object

Abstract: A key problem in software reuse is the selection of appropriate components for satisfying a given re

Palabras claves:

component-based requirements engineering, iterative and incremental software processes, reuse of formal requirement specifications, software reuse

José Pazos-Arias, Martínez B.B., Redondo R.P.D., Vilas F.

ARIFS: An environment for incomplete and formal specifications reuse

Conference Object

Abstract: The selection of appropriate components for satisfying a given equirement is a key problem in softwa

Palabras claves:

José Pazos-Arias, Martínez B.B., Redondo R.P.D., Vilas F.

Formalizing incremental design in real-time area: SCTL/MUS-T

Conference Object

Abstract: Achievement of quality in software design, while never easy, is made more difficult by the inherent

Palabras claves:

José Pazos-Arias, MartÍnez A.B.B., Redondo R.P.D., Vilas F.

Extending timed automaton and real-time logic to many-valued reasoning

Conference Object

Abstract: Past decade has witnessed a great advance in the field of dense-time formal methods for the specific

Palabras claves:

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

Internet-TV convergence in DVB-MHP

Conference Object

Abstract: In last decade, we have seen the first steps to the end of passive television. Digital technology is

Palabras claves:

Digital Interactive Television, DVB-HTML, Internet through TV, MHP

Fernández A., Fernández M., Gil A., José Pazos-Arias, Ramos-Cabrer M., Redondo R.P.D.

Requirements specifications evolution in a multi-perspective environment

Conference Object

Abstract: We adapt in this paper an analysis-revision cycle to the SCTL-MUS methodology to support the modific

Palabras claves:

Barragáns-Martínez A.B., GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Vilas F.

Surfing the Web on TV: The MHP approach

Conference Object

Abstract: In last decade, we have seen the first steps to the end of passive television. Thanks to continuous

Palabras claves:

José Pazos-Arias, López C., López J., Ramos-Cabrer M., Redondo R.P.D., Rubio R., Solla A.G.