1) process formailzation
过程形式化
2) process and formalized description
过程形式化描述
3) 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).
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略。
4) interactive graphic procedure
交互式图形过程
5) deformation development
变形演化过程
6) model of hollowizing process
空心化过程模式
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条