Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings of the Australian Software Engineering Conference, ASWEC(1)
Origen
scopus(2)
Multi-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:scopus