Mostrando 10 resultados de: 12
Filtros aplicados
Área temáticas
Ciencias de la computación(6)
Funcionamiento de bibliotecas y archivos(3)
Instrumentos de precisión y otros dispositivos(2)
Principios generales de matemáticas(2)
Programación informática, programas, datos, seguridad(2)
Área de conocimiento
Ciencias de la computación(8)
Ingeniería de software(4)
Software(2)
Tecnología educativa(2)
Computación en la nube(1)
Origen
scopus(12)
A 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:scopusA mixed XML-JavaBeans approach to developing t-learning applications for the multimedia home platform
ArticleAbstract: E-learning technologies have developed greatly in recent years, with considerable success, which hasPalabras claves:Autores: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:scopusA social P2P approach for personal knowledge management in the cloud
Conference ObjectAbstract: The massive access to the Cloud poses new challenges for the cloud citizens to use services overcomiPalabras claves:Clustering, Collaborative tagging, Folksonomy, KNOWLEDGE MANAGEMENT, Social P2P, tag cloudAutores:José Pazos-Arias, Redondo R.P.D., Rodríguez S.S., 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:scopusExtending SCORM to create adaptive courses
Conference ObjectAbstract: Current e-learning standards have been designed to provide reusability of educational contents and iPalabras claves:Autores:Bermejo-Muñoz J., Fernádez-Vilas A., José Pazos-Arias, Redondo R.P.D., Rey-López M.Fuentes:scopusExtending timed automaton and real-time logic to many-valued reasoning
Conference ObjectAbstract: Past decade has witnessed a great advance in the field of dense-time formal methods for the specificPalabras claves:Autores:José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusMulti-valued model checking in dense-time
Conference ObjectAbstract: In this paper we introduce ΧTCTL, a dense-time extension of the multi-valued Computation Tree LogicPalabras claves:Dense real-time, Formal Methods, Model checking, Multi-valued logicAutores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusImproving the consistency checking process by reusing formal verification knowledge
ArticleAbstract: At an iterative and incremental requirements capture stage, each iteration implies identifying new rPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusReuse of formal verification efforts of incomplete models at the requirements specification stage
ArticleAbstract: Even though verifying systems during any phase of the development process is a remarkable advantagePalabras claves:Autores: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:scopus