( en | de | ru )

 

Disambiguation of "Borrego, Diana"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint satisfaction techniques for diagnosing errors in design by contract software.

, , and . SAVCBS@ESEC/FSE, page 11. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mahmud Dianati

Marco Alberto Diana

Francesca Diana

Arezoo Dianat

Diana Rieger

Soziale Unterstützung in erwachsenen Eltern-Kind-Dyaden: eine Untersuchung mit Tagebuchmethode. Uni Jena, (2009)
 

Other publications of authors with the same name

Conformance checking and diagnosis for declarative business process models in data-aware scenarios., and . Expert Syst. Appl., 41 (11): 5340-5352 (2014)Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems.. AI Commun., 26 (4): 409-411 (2013)Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems., , , and . ISD, page 457-469. Springer, (2011)Improving the Diagnosability of Business Process Management Systems Using Test Points., , , and . Business Process Management Workshops, volume 66 of Lecture Notes in Business Information Processing, page 194-200. Springer, (2010)A Constraint-based Model for Multi-objective Repair Planning., , and . ETFA, page 1-8. IEEE, (2009)Constraint satisfaction techniques for diagnosing errors in design by contract software., , and . ACM SIGSOFT Softw. Eng. Notes, (2006)Prognosis of multiple instances in time-aware declarative business process models., , and . Comput. Ind., (2020)Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing., , , , , and . IEEE Access, (2021)Minimizing test-point allocation to improve diagnosability in business process models., , and . J. Syst. Softw., 86 (11): 2725-2741 (2013)Data-Aware Conformance Checking for Declarative Business Process Models., , and . ISD, page 269-282. Springer, (2013)