Advances in Software Engineering
Volume 2010 (2010), Article ID 540547, 7 pages
doi:10.1155/2010/540547
Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Ian Darwin

8748 10 Sideroad Adjala, RR 1, Palgrave, ON, L0N 1P0, Canada

Received 16 June 2009; Accepted 9 November 2009

Academic Editor: Phillip Laplante

Copyright © 2010 Ian Darwin. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Ian Darwin, “AnnaBot: A Static Verifier for Java Annotation Usage,” Advances in Software Engineering, vol. 2010, Article ID 540547, 7 pages, 2010. doi:10.1155/2010/540547