Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
Anais do WER 2016 - Workshop em Engenharia de Requisitos(1)
CIBSE 2016 - XIX Ibero-American Conference on Software Engineering(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)
Derecho privado(1)
Dirección general(1)
Economía(1)
Funcionamiento de bibliotecas y archivos(1)
Application of formal methods to verify business processes
Conference ObjectAbstract: Formal specifications and modeling languages can be used to provide support for Business Process (BPPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusQuality in software requirements inspection: A measurement proposal
Conference ObjectAbstract:Palabras claves:Autores:Alex F. Armijos, Carlos Monsalve, José A. Romero, Ricardo D. Maya, Rubén H. UllónFuentes:scopusQuality of inspection of software requirements: A proposed measurement
Conference ObjectAbstract:Palabras claves:Autores:Alex F. Armijos, Carlos Monsalve, José A. Romero, Ricardo D. Maya, Rubén H. UllónFuentes:scopus