Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
International Journal of Software Engineering and Knowledge Engineering(1)
Lecture Notes in Computer Science(1)
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)
Área temáticas
Ciencias de la computación(3)
Dirección general(1)
Educación(1)
Matemáticas(1)
Religión(1)
Origen
scopus(4)
ARIFS 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: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:scopusTracing integration analysis in component-based formal specifications
Conference ObjectAbstract: The correctness of a component-based specification is not guaranteed by the correctness of its compoPalabras claves:Autores:Barragáns-Martínez B., 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:scopus