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
1615
-
Nº descargas
3388
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, ... |