【摘 要】
:
为基于遗留系统特征的软件再工程提出了一种统一的方法.该方法基于一种名为RWSL广谱语言的构架.该语言具有很好的形式化语义.提出了该方法从源代码到规约的体系结构和工作流,
【基金项目】
:
云南省省院省校合作资助项目(OOYGH01)
论文部分内容阅读
为基于遗留系统特征的软件再工程提出了一种统一的方法.该方法基于一种名为RWSL广谱语言的构架.该语言具有很好的形式化语义.提出了该方法从源代码到规约的体系结构和工作流,并定义了RWSL的结构.
其他文献
晚清以降,中国古典名著《西游记》正式开启在英语世界的旅程。结合当时的历史语境,通过梳理这一时期有关《西游记》的英文译介,探索本时期《西游记》英文译者的翻译动机,发现
伴随着信息科学技术的不断发展和进步,高校中的各项工作也在不断的向信息化的方向发展。在海量的信息面前,高校的正常运作更需要有数据共享的支持,尤其是高校的财务管理,因此
案件是有关诉讼和违法的事件。事实指事情的真实情况。本体论的事实是客观现实的,认识论的事实是观察经验的。在不同认识领域,有各自的待证事实。案件领域的待证事实有法律规
我们将针对大棚蔬果的生长环境进行监控,在这个基础上实现对大棚内部的温度速度以及二氧化碳等多个方面进行监控,也就是实现智能监控,在这过程中结合了模糊控制以及PID的控制
随着地方本科高校向应用型转型,如何真正提高学生的知识应用能力成为教学改革的重中之重。从翻转课堂的教学内容选择、视频录制和学习资料准备、课堂教学实施、课后巩固与深
随着畜禽养殖业规模化发展,畜禽养殖废弃物排放大量增加给周边环境带来严重的污染问题。通过对南方河网地区典型养殖场周边鱼塘和河涌的底泥采样调查发现,河涌底泥含有较高的
土壤是经济社会可持续发展的物质基础,关系人民群众身体健康,关系美丽中国建设,保护好土壤环境是推进生态文明建设和维护国家生态安全的重要内容.当前,我国土壤环境总体状况
目的探讨磁共振常规检查对胎盘植入的诊断价值。方法回顾性分析2011年1月~2014年12月间我院收治的磁共振影像学资料完整、临床可疑胎盘植入患者25例为研究对象,并与手术病理或
新媒体改变了思想政治教育的客体,形塑了思想政治理论课教师,拓展了思想政治教育的场域,丰富了思想政治教育的载体,创建了高校思想政治教育新生态。面对高校思想政治教育新生
目的观察分析对急诊心肌梗死患者实施心理护理干预与常规护理干预的效果。方法选取2017年4月~2018年8月本院收治的急诊心肌梗死患者64例作为研究对象,将其随机均分为对照组与