@article{journals/sigsoft/ZhangGL05, title = {A model-driven approach to enforce crosscutting assertion checking.}, author = {Jing Zhang and Jeff Gray and Yuehua Lin}, journal = {ACM SIGSOFT Software Engineering Notes}, number = {4}, pages = {1-5}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft30.html#ZhangGL05}, volume = {30}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/20df9fec00bd2ebbc1f3195baef6dcc30/dblp}, description = {dblp}, ee = {http://doi.acm.org/10.1145/1082983.1083138}, date = {2008-05-08}, keywords = {dblp } }