Mostrando 9 resultados de: 9
Publisher
10th WSEAS International Conference on Applied Computer and Applied Computational Science, ACACOS'11(1)
8th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010(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)
Área temáticas
Dirección general(5)
Ciencias de la computación(2)
Economía(2)
Interacción social(2)
Métodos informáticos especiales(2)
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:googlescopusFormal verification of business processes as timed automata
Conference ObjectAbstract: Despite the representation of a business process (BP) with Business Process Model and Notation (BPMNPalabras 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:googlescopusModelling TCP/IP traffic of a convergent campus wireless network
ArticleAbstract: With the deployment of new devices, protocols and applications, network traffic is changing to adaptPalabras claves:Packet size, Sniffer, traffic classification, Traffic modelingAutores:Albert Espinal, Carlos Monsalve, Carlos Teodoro Monsalve Artega, Rebeca Leonor Estrada PicoFuentes: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:scopusRepresenting unique stakeholder perspectives in BPM notations
Conference ObjectAbstract: Evidence shows that proposals for new modeling notations emerge and evolution of current ones are bePalabras claves:Business process modeling, levels of abstraction, Representational analysis, Software requirements, System requirementsAutores:Alain Abran, April A., Carlos Monsalve, Carlos Teodoro Monsalve ArtegaFuentes:googlescopusRequirements 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