JML and Aspects: The benefits of instrumenting JML features with AspectJ

Henrique Rebelo, Sérgio Soares, Ricardo Lima, Paulo Borba, Márcio Cornélio
2008
Type
Conference paper
Publication
7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008)
comments powered by Disqus