SA方法中使用半形式化的描述方式表达需求,采用的主要描述工具是( )。
出自:河南理工大学软件工程