A model-driven approach to enforce crosscutting assertion checking

Jing Zhang, Jeffrey G. Gray, Yuehua Lin. A model-driven approach to enforce crosscutting assertion checking. ACM SIGSOFT Software Engineering Notes, 30(4):1-5, 2005. [doi]

Abstract

Abstract is missing.