Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(1)
International Journal of Software Engineering and Knowledge Engineering(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference(1)
Proceedings - International Conference on Software Engineering(1)
Área temáticas
Ciencias de la computación(5)
Funcionamiento de bibliotecas y archivos(2)
Comunicaciones(1)
Dirección general(1)
Educación(1)
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: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:scopusMulti-valued model checking in dense-time
Conference ObjectAbstract: In this paper we introduce ΧTCTL, a dense-time extension of the multi-valued Computation Tree LogicPalabras claves:Dense real-time, Formal Methods, Model checking, Multi-valued logicAutores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusMerging requirements views with incompleteness and inconsistency
Conference ObjectAbstract: The purpose of X-SCTL/MUS methodology is to support the collaborative development of software requirPalabras claves:Incompleteness, inconsistency, Merging, Requirements specification, ViewpointsAutores:José Pazos-Arias, MartÍnez A.B.B., Vilas F.Fuentes:scopusWhat's on TV tonight? an efficient and effective personalized recommender system of TV programs
Conference ObjectAbstract: This paper introduces Queveo.tv: a personalized TV program recommendation system. The proposed hybriPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Vilas F.Fuentes:scopusχ-SCTL/MUS: A formal methodology to evolve multi-perspective software requirements specifications
Conference ObjectAbstract: The objective of this thesis is to extend the formal methodology of refinement of requirements speciPalabras claves:inconsistency, Multi-Perspective Environment, Requirements Refinement, Specification Evolution, Unspecification, ViewpointsAutores:José Pazos-Arias, MartÍnez A.B.B.Fuentes:scopus