中英▼
go top

形式方法与软件工程

网络释义

  Formal Methods and Software Engineering

...析和建模 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

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定