排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化. 相似文献
2.
可视化面向对象程序建模系统设计 总被引:2,自引:1,他引:1
介绍了一个基于类图和过程蓝图的可视化面向对象建模系统设计.该系统针对现有建模工具未能对算法过程建模提供足够支持的问题,定义并采用了一种基于类图模型和过程蓝图模型的混合模型,该模型能够根据用户的需要生成包括框架和过程细节在内的完整程序代码.最后的测试结果表明了系统的有效性. 相似文献
3.
课程建设目标管理中的一个重要问题是合理的课程建设目标的确定。对此,我们设计实现了课程建设目标规划辅助决策支持系统。本文给出该系统的课程建设目标规划模型及其反射P空间算法。 相似文献
4.
介绍OMG提出的模型驱动体系结构MDA ,它将与实现技术无关的模型和基于特定技术的模型分离 ,并通过模型间的变换 ,使系统能适应技术的发展 ,解决系统在不同中间件平台的集成、互操作性、可移植性等问题 ,提高生产力 ,保证程序质量 .并对在MDA语境中的xUML作进一步的讨论 相似文献
1