Autor der Publikation

Constraint satisfaction techniques for diagnosing errors in design by contract software.

, , und . SAVCBS@ESEC/FSE, Seite 11. ACM, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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., und . Expert Syst. Appl., 41 (11): 5340-5352 (2014)Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems., , , und . ISD, Seite 457-469. Springer, (2011)Improving the Diagnosability of Business Process Management Systems Using Test Points., , , und . Business Process Management Workshops, Volume 66 von Lecture Notes in Business Information Processing, Seite 194-200. Springer, (2010)Constraint satisfaction techniques for diagnosing errors in design by contract software., , und . ACM SIGSOFT Softw. Eng. Notes, (2006)Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing., , , , , und . IEEE Access, (2021)Prognosis of multiple instances in time-aware declarative business process models., , und . Comput. Ind., (2020)A Constraint-based Model for Multi-objective Repair Planning., , und . ETFA, Seite 1-8. IEEE, (2009)Minimizing test-point allocation to improve diagnosability in business process models., , und . J. Syst. Softw., 86 (11): 2725-2741 (2013)Problem Generalization for Designing Recursive Algorithms., , , und . ICEUTE, Volume 1266 von Advances in Intelligent Systems and Computing, Seite 388-398. Springer, (2020)