说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 形式化开发
1)  formal development
形式化开发
1.
Meanwhile, formal developments are necessarily required to develop highly trusted/secure system.
同时,形式化开发方法也是高可信、高安全的系统开发所必需的。
更多例句>>
2)  Formal development method
形式化开发方法
1.
A formal development method based on B method and component;
一种基于B方法和构件技术的形式化开发方法
更多例句>>
3)  developmental types
开发形式
例句>>
4)  Informal development
形式开发
5)  Formal software development method
形式化软件开发方法
例句>>
6)  Graphical Development
图形化开发
1.
The Design and Implementation of APL Graphical Development Platform Based on Eclipse;
Eclipse下APL图形化开发平台的设计与实现
更多例句>>
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条