Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Software - Practice and Experience(2)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(1)
Journal of Logic and Computation(1)
Journal of Systems and Software(1)
Requirements Engineering(1)
Área temáticas
Ciencias de la computación(5)
Métodos informáticos especiales(2)
Comercio, comunicaciones, transporte(1)
Derechos civiles y políticos(1)
Funcionamiento de bibliotecas y archivos(1)
Área de conocimiento
Ciencias de la computación(5)
Gestión de calidad(1)
Ingeniería de software(1)
Inteligencia artificial(1)
Software(1)
Origen
scopus(6)
A six-valued logic to reason about uncertainty and inconsistency in requirements specifications
ArticleAbstract: The development of requirements specifications is characterized by the uncertain and changeable knowPalabras claves:Autores: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:scopusATLAS: A framework to provide multiuser and distributed t-learning services over MHP
ArticleAbstract: The increasing need of the developed countries to carry out effective distance learning strategies hPalabras claves:Formal specification, Peer-to-peer technologies, Synchronous interaction, t-learning, Visual developmentAutores: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:scopusAVATAR: An improved solution for personalized TV based on semantic inference
Conference ObjectAbstract: The search engines in Internet and the recommender systems in the Digital TV domain, pursue to lightPalabras claves:Autores:Blanco-FernÁndez Y., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Solla A.G.Fuentes:scopusFormal specification applied to multiuser distributed services: Experiences in collaborative t-learning
ArticleAbstract: The development of multiuser and distributed software systems faces the difficulty to program the apPalabras claves:Formal specification, Interaction patterns, Multiuser systemsAutores: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:scopusGuidelines for the incremental identification of aspects in requirements specifications
ArticleAbstract: The desired principle of separation of concerns in software development can be jeopardized by the soPalabras claves:Aspect-mining, Crosscutting concerns, Incremental software development, requirements specificationsAutores: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:scopusMHP-OSGi convergence: A new model for open residential gateways
ArticleAbstract: Nowadays, we are living in a time of important technological changes that affect our lives at home aPalabras claves:Bundle, IDTV, Xlet, MHP, OSGi, Residential gatewayAutores: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