Mostrando 10 resultados de: 11
Filtros aplicados
Publisher
International Journal of Software Engineering and Knowledge Engineering(2)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
Requirements Engineering(2)
Computer Applications in Engineering Education(1)
Computer Standards and Interfaces(1)
Área temáticas
Ciencias de la computación(8)
Escuelas y sus actividades; educación especial(2)
Física aplicada(2)
Funcionamiento de bibliotecas y archivos(1)
Historia del cristianismo en Asia(1)
Área de conocimiento
Ingeniería de software(5)
Ciencias de la computación(3)
Gestión de calidad(1)
Optimización matemática(1)
Origen
scopus(11)
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: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 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:scopusContext-aware personalization services for a residential gateway based on the OSGi platform
ArticleAbstract: Ideally, smart homes should make its inhabitants' lives more comfortable by anticipating their needsPalabras claves:Pervasive computing, Residential gateways OSGi, semantic servicesAutores:GarcÍa-Duque J., José Pazos-Arias, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., 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: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: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:scopusMethodologies to evolve formal specifications through refinement and retrenchment in an analysis - Revision cycle
ArticleAbstract: The development of requirement specifications is done by accumulating knowledge about the desired syPalabras claves:Analysis-revision, Formal requirements specifications, refinement, RetrenchmentAutores: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:scopusTracing integration analysis in component-based formal specifications
Conference ObjectAbstract: The correctness of a component-based specification is not guaranteed by the correctness of its compoPalabras claves:Autores:Barragáns-Martínez B., 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:scopusProcedures and algorithms for continuous integration in an agile specification environment
ArticleAbstract: One of the main ideas of agile development is to perform continuous integration, in order to detectPalabras claves:Agile software development, Continuous integration, Formal specificationAutores: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