Mostrando 10 resultados de: 10
Publisher
8th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010(1)
CRL Publishing(1)
IECON Proceedings (Industrial Electronics Conference)(1)
IEEE(1)
Iberian Conference on Information Systems and Technologies, CISTI(1)
Área temáticas
Ciencias de la computación(5)
Dirección general(5)
Economía(2)
Interacción social(2)
Administración pública y ciencia militar(1)
Calidad en la inspección de requerimientos de software: una propuesta de medición
OtherAbstract: La inspección de software, dentro del análisis de requerimientos, consiste en un conjunto de pasos oPalabras claves:Autores:Carlos Teodoro Monsalve ArtegaFuentes:googleApplication 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:googlescopusIntegrating a Decision Tree Perspective at the Operational Level of BPM
OtherAbstract: Decision trees are among the best-known decision-making techniques and have been used extensively foPalabras claves:Autores:Carlos Teodoro Monsalve ArtegaFuentes:googleMethodologies for the design of application frameworks: systematic review
OtherAbstract: Framework design for application development allows to reuse design patterns and code, speeding up tPalabras claves:Autores:Carlos Teodoro Monsalve ArtegaFuentes:googleModelling 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:googlescopusRepresentation of business processes at multiple levels of abstraction (strategic, tactical and operational) during the requirements elicitation stage of a software project …
OtherAbstract: This thesis aims at helping software engineers and business analysts to better model business procesPalabras claves:Autores:Carlos Teodoro Monsalve ArtegaFuentes:googleRepresenting 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
OtherAbstract: Business process models (BPM) can be useful for requirements elicitation, among other uses. Since thPalabras claves:Autores:Carlos Teodoro Monsalve ArtegaFuentes:google