Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Journal of Systems and Software(1)
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference(1)
Área temáticas
Ciencias de la computación(1)
Dirección general(1)
Medicina y salud(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
Incremental 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