中英▼

  • 软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。

    UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.

    youdao

  • 软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。

    UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.

    youdao

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

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

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