Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Information and Software Technology(1)
Journal of Systems and Software(1)
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference(1)
Requirements Engineering(1)
Composing 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: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:scopusIncremental specification with SCTL/MUS-T: A case study
ArticleAbstract: The past decade witnessed a great advance in the field of timed formal methods for the specificationPalabras claves:Formal Methods, Iterative and incremental specification, Many-valued reasoning, Real-time systemsAutores:Barragáns-Martínez A.B., GarcÍa-Duque J., Gill Solla A., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusRequirements specifications evolution in a multi-perspective environment
Conference ObjectAbstract: We adapt in this paper an analysis-revision cycle to the SCTL-MUS methodology to support the modificPalabras claves:Autores:Barragáns-Martínez A.B., GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopus