OCL相关论文
由于和现有的应用的兼容性好,功能强大,拥有成熟的理论基础支持等等诸多因素,目前关系数据库仍然是大多数面向对象应用持久数据层......
随着软件规模和复杂度不断增大,传统的软件开发模式面临着巨大的挑战,出现了新一轮的“软件危机”,解决这个问题行之有效的途径就......
UML是一种通用的可视化建模语言，用于对软件进行描述、可视化处理、构建软件系统的文档。作为UML标准的一部分，对象约束语言(Object ......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
在电力系统规划环节中,为了进一步满足仿真操控程序Oracle数据库内部的存取速率提升目标,设计人员决定利用OCL技术进行机理协调管......
通过对一种典型OCL电路的原理进行讲解，和对九种电路调试中出现的故障进行列举，通过各种检查过程、分析并得出结论来排除电路故障，通......
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用．本文提出一种对面向对象软件设计模型的静态结构进......
