A requirements engineering methodology based on natural language syntax and semantics | IEEE Conference Publication | IEEE Xplore