Verifiable Source Code Documentation in Controlled Natural Language
ArchJava: connecting software architecture to implementation