ListarArtículos (Lenguajes y Sistemas Informáticos) por materia "Verification"
Mostrando ítems 1-2 de 2
-
Artículo
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 ...
-
Artículo
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 ...