Browsing Artículos (Lenguajes y Sistemas Informáticos) by Subject "Verification"
Now showing items 1-2 of 2
-
Article
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 ...
-
Article
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 ...