Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Journal of Systems and Software(1)
Proceedings - Asia-Pacific Software Engineering Conference, APSEC(1)
Área temáticas
Ciencias de la computación(3)
Derecho privado(1)
Escuelas y sus actividades; educación especial(1)
Funcionamiento de bibliotecas y archivos(1)
Física aplicada(1)
Área de conocimiento
Ciencias de la computación(3)
Software(3)
Ingeniería de software(2)
Inteligencia artificial(1)
Tecnología educativa(1)
Origen
scopus(6)
An improved repository system for effective and efficient reuse of formal verification efforts
Conference ObjectAbstract: This paper presents several enhancements to ARIFS, a reuse environment that sets the foundations forPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Redondo R.P.D.Fuentes:scopusA many-valued logic with imperative semantics for incremental specification of timed models
ArticleAbstract: In order to reconcile the state of the art and the state of the practice in software engineering, imPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusAVATAR: An advanced multi-agent recommender system of personalized TV contents by semantic reasoning
ArticleAbstract: In this paper a recommender system of personalized TV contents, named AVATAR1, is presented. We propPalabras claves:Autores:Barragáns-Martínez B., Blanco-FernÁndez Y., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusIncremental specification with SCTL/MUS-T: A case study
ArticleAbstract: The past decade witnessed a great advance in the field of timed formal methods for the specificationPalabras claves:Formal Methods, Iterative and incremental specification, Many-valued reasoning, Real-time systemsAutores:Barragáns-Martínez A.B., GarcÍa-Duque J., Gill Solla A., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusSupporting software variability by reusing generic incomplete models at the requirements specification stage
ArticleAbstract: Selecting components that satisfy a given set of requirements is a key problem in software reuse, esPalabras claves:Autores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Martínez B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusTechnologies to support collaborative learning over the multimedia home platform
ArticleAbstract: T-learning -the provision of educational services over Interactive Digital TV - is regarded as a comPalabras claves:Interactive Digital TV, Peer-to-peer architectures, t-learningAutores:Barragáns-Martínez B., Blanco-FernÁndez Y., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopus