说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 软件形式化
1)  Formal software
软件形式化
例句>>
2)  Formal software design
形式化软件设计
3)  Formal software development method
形式化软件开发方法
例句>>
4)  FSEPM
形式化的软件演化过程模型
1.
An approach to measuring developers statistically is prosented in the course of constructing FSEPM(formal software evolution process model)by drawing upon the X-S charts.
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。
2.
The paper addresses an efficiency measurement and an improvement strategy for the Formal Software Evolution Process Model(FSEPM).
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略。
5)  software prototyping
软件原形化方法
6)  Digital image software
数字化图形软件
补充资料：公理化方法(见公理化和形式化)


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

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