Mostrando 5 resultados de: 5
Filtros aplicados
Subtipo de publicación
Conference Object(5)
Publisher
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference(2)
Conference Proceedings of the EUROMICRO(1)
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Programación informática, programas, datos, seguridad(3)
Ciencias de la computación(2)
Derecho privado(1)
Dirección general(1)
Principios generales de matemáticas(1)
Área de conocimiento
Ingeniería de software(5)
Software(3)
Ciencias de la computación(1)
Simulación por computadora(1)
Origen
scopus(5)
Approximate Retrieval of Incomplete and Formal Specifications applied to horizontal reuse
Conference ObjectAbstract: A key problem in software reuse is the selection of appropriate components for satisfying a given rePalabras claves:component-based requirements engineering, iterative and incremental software processes, reuse of formal requirement specifications, software reuseAutores:José Pazos-Arias, Martínez B.B., Redondo R.P.D., Vilas F.Fuentes:scopusARIFS: An environment for incomplete and formal specifications reuse
Conference ObjectAbstract: The selection of appropriate components for satisfying a given equirement is a key problem in softwaPalabras claves:Autores:José Pazos-Arias, Martínez 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:scopusExtending timed automaton and real-time logic to many-valued reasoning
Conference ObjectAbstract: Past decade has witnessed a great advance in the field of dense-time formal methods for the specificPalabras claves:Autores: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