Mostrando 10 resultados de: 17
Filtros aplicados
Publisher
International Journal of Software Engineering and Knowledge Engineering(3)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(1)
Expert Systems with Applications(1)
Formal Aspects of Computing(1)
Área temáticas
Ciencias de la computación(10)
Funcionamiento de bibliotecas y archivos(4)
Métodos informáticos especiales(4)
Programación informática, programas, datos, seguridad(4)
Física aplicada(2)
Origen
scopus(17)
Composing 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:scopusAn agile approach to support incremental development of requirements specifications
Conference ObjectAbstract: The development of requirements specifications has to face the imprecise and changeable knowledge avPalabras claves:Autores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusAn analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology
Conference ObjectAbstract: The development of requirements specifications can be supported by a cycle composed of two phases: aPalabras claves:bridges, heart, Information analysis, Multivalued logic, TelematicsAutores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-AriasFuentes:scopusAn improved repository system for effective and efficient reuse of formal verification efforts
Conference ObjectAbstract: This paper presents several enhancements to ARIFS, a reuse environment that sets the foundations forPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Redondo R.P.D.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: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:scopusEliciting requirements and scenarios using the SCTL-MUS methodology: The shuttle system case study
Conference ObjectAbstract: The development of complex systems demands methodologies that provide convenient support to the stakPalabras claves:incremental development, requirements, Scenarios, State machinesAutores:GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusOn the interplay between inconsistency and incompleteness in multi-perspective requirements specifications
ArticleAbstract: A major challenge for dealing with multi-perspective specifications, and more concretely, with mergiPalabras claves:inconsistency, Merging, Requirements specification, UNCERTAINTY, 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:scopus