Software maintainability benefits from annotation-driven code | IEEE Conference Publication | IEEE Xplore