PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Borrego, Diana"

Author of the publication

copydeleteadd this publication to your clipboard
Diagnosing Errors in DbC Programs Using Constraint Programming.

, , , and . CAEPIA, volume 4177 of Lecture Notes in Computer Science, page 200-210. Springer, (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.

Dr. phil. Diana Wagner University of Stuttgart

Diana Wang University of Stuttgart

 

Other publications of authors with the same name

Diagnosing correctness of semantic workflow models., , , and . Data Knowl. Eng., (2013)A Constraint-based Model for Multi-objective Repair Planning., , and . ETFA, page 1-8. IEEE, (2009)Data-Aware Conformance Checking for Declarative Business Process Models., , and . ISD, page 269-282. Springer, (2013)Constraint satisfaction techniques for diagnosing errors in design by contract software., , and . ACM SIGSOFT Software Engineering Notes, (2006)Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems., , , and . ISD, page 457-469. Springer, (2011)Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems.. AI Commun., 26 (4): 409-411 (2013)Conformance checking and diagnosis for declarative business process models in data-aware scenarios., and . Expert Syst. Appl., 41 (11): 5340-5352 (2014)Minimizing test-point allocation to improve diagnosability in business process models., , and . Journal of Systems and Software, 86 (11): 2725-2741 (2013)Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess., , , and . ICAART (2), page 434-438. SciTePress, (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)