Mostrando 10 resultados de: 30
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(3)
Computer Applications in Engineering Education(2)
International Journal of Software Engineering and Knowledge Engineering(2)
Journal of Network and Computer Applications(2)
Área temáticas
Escuelas y sus actividades; educación especial(6)
Física aplicada(5)
Funcionamiento de bibliotecas y archivos(4)
Interacción social(3)
Métodos informáticos especiales(3)
Área de conocimiento
Ciencias de la computación(16)
Software(8)
Ingeniería de software(6)
Tecnología educativa(5)
Red informática(4)
Guidelines 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:scopusEnhancing residential gateways: A semantic OSGi platform
ArticleAbstract: A semantic approach based on the Open Service Gateway initiative (OSGi) service registry that supporPalabras claves:Autores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.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:scopusA cooperative purchasing system for smart ad-hoc networks
Conference ObjectAbstract: Joint purchases are a growing business activity with benefits to both consumers and sellers. We presPalabras claves:Autores:Blanco-FernÁndez Y., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Solla A.G.Fuentes:scopusA 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:scopusCollaborative and role-play strategies in software engineering learning with web 2.0 tools
ArticleAbstract: Software development processes are inherently complex and require the collaboration and coordinationPalabras claves:Collaborative learning, role-play strategies, software engineering learning, Web 2.0Autores:José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusAn extension to the ADL SCORM standard to support adaptivity: The t-learning case-study
ArticleAbstract: Current e-learning standards have been designed to provide reusability and interoperability. BesidesPalabras claves:Adaptive hypermedia, distance learning, SCORM, t-learningAutores:GarcÍa-Duque J., José Pazos-Arias, Ramos-Cabrer M., Redondo R.P.D., Rey-López M., Solla A.G., Vilas F.Fuentes:scopusAn improved virtualization layer to support distribution of multimedia contents in pervasive social applications
ArticleAbstract: Pervasive social computing is a new paradigm of computer science that aims to facilitate the realizaPalabras claves:Mobile ad-hoc networks, Pervasive social computing, VirtualizationAutores:Blanco-FernÁndez Y., JACK FERNANDO BRAVO TORRES, José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Solla A.G.Fuentes:scopusARIFS methodology: Reusing incomplete models at the requirements specification stage
ArticleAbstract: In a totally formalized, iterative and incremental software process, each iteration usually impliesPalabras claves:Approximate retrieval, component-based requirements engineering, Formal requirements reuse, Iterative and incremental specification, Reuse of verification resultsAutores:GarcÍa-Duque J., José Pazos-Arias, 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:scopus