Integration of Two Kinds of Syntax for Requirements Description and Its Future Development | IEEE Conference Publication | IEEE Xplore