An Investigation of Requirement Specification Languages: Theory and Pratice | IEEE Journals & Magazine | IEEE Xplore