Mostrando 10 resultados de: 42
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(6)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(5)
International Journal of Software Engineering and Knowledge Engineering(3)
Journal of Systems and Software(2)
Requirements Engineering(2)
Área temáticas
Escuelas y sus actividades; educación especial(6)
Métodos informáticos especiales(5)
Física aplicada(4)
Funcionamiento de bibliotecas y archivos(3)
Interacción social(3)
Área de conocimiento
Ciencias de la computación(18)
Software(15)
Ingeniería de software(13)
Tecnología educativa(6)
Comunicación(4)
Origen
scopus(42)
Collaborative 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:scopusComposing multi-perspective software requirements specifications
ArticleAbstract: One of the main needs when dealing with multi-perspective specifications is to be able to have at ouPalabras claves:inconsistency, Merging, Requirements specification, UNCERTAINTY, ViewpointsAutores:FernÁndez Y.B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Redondo R.P.D., 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: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:scopusControlling the smart home from TV
Conference ObjectAbstract: In this paper we introduce a cooperative environment between the Interactive Digital TV (MHP platforPalabras claves:Autores:Cabrer M.R., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusCOSTE: open environment for teaching in computer science area
ArticleAbstract: In this paper we introduce a generic teleeducation system, referred to as COSTE (COmputer Science TePalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusApplication-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks
ArticleAbstract: Wireless networks of sensor and actor devices require a great deal of coordination to fulfil their oPalabras claves:Connectivity, COORDINATION, mobility, Performance evaluation, Wireless sensor and actor networksAutores: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:scopusApproximate Retrieval of Incomplete and Formal Specifications applied to horizontal reuse
Conference ObjectAbstract: A key problem in software reuse is the selection of appropriate components for satisfying a given rePalabras claves:component-based requirements engineering, iterative and incremental software processes, reuse of formal requirement specifications, software reuseAutores:José Pazos-Arias, Martínez B.B., Redondo R.P.D., Vilas F.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