如果您对为配置管理创建UCM使用模型，继续学习接下来的章节。
建模后利用已经开发的模型检测工具，检测系统的一些重要性质可以保证系统的可靠性和正确性。
UCM被发展出来，使得人们从一个有效的使用模型开始使用ClearCase变得更容易了。
首先让我们从用例模型视角来展开对libvirt的讨论，然后深入探究其架构和用途。
运营商计划使用模型站点价格，但有些时候计划完成的站点与模型站点会有很大不同。
最后将文中的计算结果与采用传统直角坐标模型计算所得结果进行了比较。
Rails迁移支持把模型逻辑用于数据迁移，而SQL脚本做不到这一点。
使用模型状态，或是更精密的模型状态字典，用来表现验证错误。
第二部分将所有权模式和使用权模式的分时享有制度进行比较。
清单9给出这个使用模型的输出（为了简短，这里删除了一些输出）。
吊灯、吸顶灯是作全照明用的，造型都很大方。
为改进我国传统小汽车出行需求预测方法，基于活动理论建立了小汽车使用预测非集计模型。
有混合定理证明系统，使用模型检查的推理规则。
目前我们没有使用以模型为中心的开发技术，我们一直在不断地编写代码，这是我们习以为常的事情。