Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
Lecture Notes in Computer Science(1)
Proceedings of the Australian Software Engineering Conference, ASWEC(1)
Proceedings of the IEEE International Conference on Requirements Engineering(1)
Área temáticas
Métodos informáticos especiales(2)
Programación informática, programas, datos, seguridad(2)
Ciencias de la computación(1)
Funcionamiento de bibliotecas y archivos(1)
Matemáticas(1)
Área de conocimiento
Ingeniería de software(2)
Origen
scopus(3)
An agile approach to support incremental development of requirements specifications
Conference ObjectAbstract: The development of requirements specifications has to face the imprecise and changeable knowledge avPalabras claves:Autores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusAn analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology
Conference ObjectAbstract: The development of requirements specifications can be supported by a cycle composed of two phases: aPalabras claves:bridges, heart, Information analysis, Multivalued logic, TelematicsAutores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-AriasFuentes: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