1) formal development methodology(FDM)
形成化开发方法学
2) Formal development method
形式化开发方法
1.
A formal development method based on B method and component;
一种基于B方法和构件技术的形式化开发方法
3) Integrated Software Developing Method
集成化的软件开发方法
1.
Research and Application of Integrated Software Developing Method;
集成化的软件开发方法的研究与应用
5) Formative development method
形成性开发法
补充资料:公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条