Speech and Audio Processing(语音和音频处理) Software Engineering and Formal Methods(软件工程与形式化方法) Systems & Software Engineering(系统和软件工程) ..
基于16个网页-相关网页
软件工程与形式化方法
Software engineering and formal methods
以上为机器翻译结果，长、整句建议使用 人工翻译 。
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
youdao
应用推荐
模块上移
模块下移
不移动