( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constraint satisfaction techniques for diagnosing errors in design by contract software.

, , и . SAVCBS@ESEC/FSE, стр. 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.

Mahmud Dianati

Marco Alberto Diana

Arezoo Dianat

Francesca Diana

Diana Rieger

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

Другие публикации лиц с тем же именем

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., , , и . ISD, стр. 457-469. Springer, (2011)Improving the Diagnosability of Business Process Management Systems Using Test Points., , , и . Business Process Management Workshops, том 66 из Lecture Notes in Business Information Processing, стр. 194-200. Springer, (2010)A Constraint-based Model for Multi-objective Repair Planning., , и . ETFA, стр. 1-8. IEEE, (2009)Problem Generalization for Designing Recursive Algorithms., , , и . ICEUTE, том 1266 из Advances in Intelligent Systems and Computing, стр. 388-398. Springer, (2020)Data-Aware Conformance Checking for Declarative Business Process Models., , и . ISD, стр. 269-282. Springer, (2013)Computing Alignments with Constraint Programming: The Acyclic Case., , , и . ATAED@Petri Nets/ACSD, том 1592 из CEUR Workshop Proceedings, стр. 96-110. CEUR-WS.org, (2016)Diagnosing correctness of semantic workflow models., , , и . Data Knowl. Eng., (2013)Automating correctness verification of artifact-centric business process models., , и . Inf. Softw. Technol., (2015)Constraint satisfaction techniques for diagnosing errors in design by contract software., , и . SAVCBS@ESEC/FSE, стр. 11. ACM, (2005)