Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
10th WSEAS International Conference on Applied Computer and Applied Computational Science, ACACOS'11(1)
2019 8th International Conference on Software Process Improvement, CIMPS 2019 - Applications in Software Engineering(1)
Anais do WER 2016 - Workshop em Engenharia de Requisitos(1)
CIBSE 2016 - XIX Ibero-American Conference on Software Engineering(1)
IECON Proceedings (Industrial Electronics Conference)(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:googlescopusOn the expressiveness of business process modeling notations for software requirements elicitation
Conference ObjectAbstract: Business process models have proved to be useful for requirements elicitation. Since software develoPalabras claves:BPMN, Business process model, BWW representation model, Empirical research, expressiveness, Software requirements, SurveyAutores:Alain Abran, April A., Carlos Monsalve, Carlos Teodoro Monsalve ArtegaFuentes:googlescopusMeasuring software functional size from business process models
ArticleAbstract: ISO 14143-1 specifies that a functional size measurement (FSM) method must provide measurement procePalabras claves:BPMN, Business process model, Business process modeling, COSMIC, FSM, Functional Size Measurement, ISO 19761, Qualigram, Requirements modelingAutores:Alain Abran, April A., Carlos Monsalve, Carlos Teodoro Monsalve ArtegaFuentes:googlescopusMethodologies for the design of application frameworks: Systematic review
Conference ObjectAbstract: Framework design for application development allows to reuse design patterns and code, speeding up tPalabras claves:framework design; systematic review, methodologies, framework design, Software development, Software development; methodologies, Systematic ReviewAutores:Carlos Monsalve, De-La-Torre M., Ramirez M.O.G.Fuentes:scopusQuality 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:scopusRequirements elicitation using BPM notations: Focusing on the strategic level representation
Conference ObjectAbstract: Business process models (BPM) can be useful for requirements elicitation, among other uses. Since thPalabras claves:Action Research, Business process modeling, Case study, levels of abstraction, requirements elicitationAutores:Alain Abran, April A., Carlos MonsalveFuentes:scopusStudy of the size of software requirements documents as a factor for estimating the effort in the inspection of software requirements
Conference ObjectAbstract:Palabras claves:Autores:Carlos Monsalve, José A. Romero, Ricardo D. Maya, Rubén H. UllónFuentes:scopus