Perfil del autor: Borrego Núñez, Diana
Datos institucionales
Nombre | Borrego Núñez, Diana |
Departamento | Lenguajes y Sistemas Informáticos |
Área de conocimiento | Lenguajes y Sistemas Informáticos |
Categoría profesional | Profesora Contratada Doctora |
Correo electrónico | Solicitar |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Estadísticas
-
Nº publicaciones
35
-
Nº visitas
1719
-
Nº descargas
3587
Publicaciones |
---|
Artículo
![]() Feature models to boost the vulnerability management process
(Elsevier Inc., 2023)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ... |
Tesis Doctoral
![]() Evidencias empíricas en el proceso de enseñanza de la programación. Una aproximación usando ALICE en el contexto universitario
(2022)
Aprender a programar es una de las habilidades fundamentales para los estudiantes relacionados con el área de la informática. ... |
Artículo
![]() Feature models to boost the vulnerability management process
(Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ... |
Artículo
![]() Empirical Evidence of the Usage of Programming Languages in the Educational Process
(IEEE Computer Society, 2021)
Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ... |
Artículo
![]() Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing
(IEEE Computer Society, 2021)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ... |
Artículo
![]() Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules
(Elsevier, 2021)
Business process analytics and verification have become a major challenge for companies, especially when process data is ... |
Artículo
![]() Prognosis of multiple instances in time-aware declarative business process models
(Elsevier, 2020)
Technological evolution, heading for industry 4.0, makes companies tend to automate their managementand operation, ideally ... |
Ponencia
![]() Problem Generalization for Designing Recursive Algorithms
(Springer, 2020)
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ... |
Capítulo de Libro
![]() Diagnosing Business Processes
(Springer, 2019)
|
Ponencia
![]() A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
(Springer, 2016)
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ... |
Ponencia
![]() Computing alignments with constraint programming : the acyclic case
(CEUR-WS.Org, 2016)
Conformance checking confronts process models with real process executions to detect and measure deviations between ... |
Ponencia
![]() Hybrid Diagnosis Applied to Multiple Instances in Business Processes
(Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can ... |
Artículo
![]() Automating correctness verification of artifact-centric business process models
(Elsevier, 2015)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ... |
Artículo
![]() Conformance checking and diagnosis for declarative business process models in data-aware scenarios
(Elsevier, 2014)
A business process (BP) consists of a set of activities which are performed in coordination in an organizational and ... |
Artículo
![]() Diagnosing correctness of semantic workflow models
(Elsevier, 2013)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and ... |
Artículo
![]() Minimizing test-point allocation to improve diagnosability in business process models
(Elsevier, 2013)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient ... |
Capítulo de Libro
![]() Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems
(Springer, 2013)
A business process consists of a set of activities that are performed in coordination in an organizational and technical ... |
Tesis Doctoral |
Ponencia
![]() Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess
(SciTePress, 2011)
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. ... |
Artículo
![]() Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes
(International Academy, Research, and Industry Association (IARIA), 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ... |
Ponencia
![]() Improving the Diagnosability of Business Process Management Systems Using Test Points
(Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the ... |
Ponencia
![]() Resolución de acuerdos en Procesos de Negocio para Multiproceso Software usando Programación con Restricciones Distribuidas
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coordinada para obtener un objetivo ... |
Ponencia
![]() Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una ... |
Ponencia
![]() Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
(PHM Society, 2010)
In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can be ... |
Ponencia
![]() Determination of an optimal test points allocation for business process analysis
(IEEE Computer Society, 2010)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ... |
Ponencia
![]() Towards Dependable Business Processes with Fault-Tolerance Approach
(IEEE Computer Society, 2010)
The management and automation of business processes have become an essential tasks within IT organizations. Companies could ... |
Ponencia
![]() Una propuesta usando Restricciones para la toma de decisiones en la tolerancia a fallos en procesos de negocio
(Mondragón Unibertsitatea, 2009)
Cuando un proceso de negocio no obtiene el objetivo que se propone será necesario realizar una diagnosis y detección de ... |
Ponencia
![]() Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration
(Linköping University, 2009)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ... |
Ponencia
![]() A Constraint-based Model for Multi-objective Repair Planning
(IEEE Computer Society, 2009)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ... |
Ponencia
![]() A Multiobjective Constraint Optimization Model for Multimode Repair Plans
(SciTePress, 2009)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ... |
Ponencia
![]() A Constraint-based Job-Shop Scheduling Model for Software Development Planning
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The ... |
Ponencia
![]() Nuevas propuestas sobre evaluación alternativa para las asignaturas de programación en las Ingenierías en Informática
(Universidad de Sevilla, 2008)
En este trabajo se expone la experiencia de un equipo docente para la enseñanza de las asignaturas de programación de ... |
Ponencia
![]() Diagnosing Business Processes Execution using Choreography Analysis
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008)
This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The ... |
Artículo
![]() Constraint satisfaction techniques for diagnosing errors in Design by Contract software
(Association for Computing Machinery (ACM), 2006)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ... |
Ponencia
![]() Diagnosing Errors in DbC Programs Using Constraint Programming
(Springer, 2005)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ... |