A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
Formal procedures for governance and management enable an enterprise of any size to perform reliable and efficient parallel development on software models.
规范的管理操作，使任意规模的企业都能够对软件模型执行可靠且有效的并行开发。
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
应用推荐