...析和建模 MACHINE LEARNING: ECML 2005机器学习 ECML 2005/会议录 FORMAL METHODS AND SOFTWARE ENGINEERING(形式方法与软件工程/会议录) ..
基于1个网页-相关网页
形式方法与软件工程
Formal methods and software engineering
以上为机器翻译结果,长、整句建议使用 人工翻译 。
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
youdao
应用推荐
模块上移
模块下移
不移动