Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Formal Aspects of Computing(1)
Proceedings - International Conference on Software Engineering(1)
Área temáticas
Ciencias de la computación(2)
Programación informática, programas, datos, seguridad(2)
Física aplicada(1)
Origen
scopus(2)
Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process
Conference ObjectAbstract: The possibility of verifying systems during any phase of the software development process is one ofPalabras claves:Autores:José Pazos-Arias, Redondo R.P.D.Fuentes:scopusSCTL-MUS: A formal methodology for software development of distributed systems. A case study
ArticleAbstract: This paper introduces an iterative model for the software development process of distributed systemsPalabras claves:Formal description techniques, Formal verification, Functional requirements, Incremental specification, Temporal logic, UnspecificationAutores:GarcÍa-Duque J., José Pazos-AriasFuentes:scopus