Mostrando 10 resultados de: 20
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
International Journal of Software Engineering and Knowledge Engineering(3)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(2)
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference(2)
Computer Applications in Engineering Education(1)
Área temáticas
Ciencias de la computación(14)
Programación informática, programas, datos, seguridad(4)
Dirección general(2)
Funcionamiento de bibliotecas y archivos(2)
Física aplicada(2)
Origen
scopus(20)
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:scopusComposing requirements specifications from multiple prioritized sources
ArticleAbstract: The formal methodology MultiSpec supports the evolution of software specifications gathered from mulPalabras claves:Incompleteness, inconsistency, prioritization, Requirements specification, ViewpointsAutores:Barragáns-Martínez A.B., Blanco-FernÁndez Y., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Redondo R.P.D., 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: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:scopusARIFS: An environment for incomplete and formal specifications reuse
Conference ObjectAbstract: The selection of appropriate components for satisfying a given equirement is a key problem in softwaPalabras claves:Autores:José Pazos-Arias, Martínez B.B., Redondo R.P.D., 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:scopusFormalizing incremental design in real-time area: SCTL/MUS-T
Conference ObjectAbstract: Achievement of quality in software design, while never easy, is made more difficult by the inherentPalabras claves:Autores:José Pazos-Arias, MartÍnez A.B.B., Redondo R.P.D., Vilas F.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:scopus