论文部分内容阅读
形式化技术为软件再工程提供了完备的理论基础，该文对基于软件再工程的形式化方法进行了探讨，提出了一个统一的面向软件再工程的形式化方法。
采用形式化技术的软件再工程
【摘 要】
：
形式化技术为软件再工程提供了完备的理论基础，该文对基于软件再工程的形式化方法进行了探讨，提出了一个统一的面向软件再工程的形式化方法。
【机 构】
：
云南大学信息技术研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年3期
【基金项目】
：
云南省省院省校合作项目“软件开发与再生的工程化”资助(编号:OOYGH01)
其他文献
进入21世纪以来。农业部先后制定和发布了《苹果优势产区发展规划》和《柑桔优势产区发展规划》。各省（市、区）根据农业部的整体规划，结合本地实际和市场需求，在调整农业产业结构
湖北省宜昌市点军区拥有柑桔0．67万hm^2，预计今年柑桔总产量15万t，为了抓好今年的柑桔销售，点军区委、政府高度重视，并与交通、夷陵大桥多方协调联系，全面开通了柑桔销售的绿色通道
神经性头痛也称紧张性头痛、功能性头痛、血管神经性头痛等,在临床极为常见,其主要特点是：头痛部位不定,头痛性质多样化,且常年存在,有波动性,常与患者情绪改变,精神紧张,疲劳
明锐在收敛的外形下面隐藏着由PQ35平台和1．8TSI发动机带来的优良性能，试驾过的人大多数都会对它产生好感，现在上海大众的任务就是豁让更多的消费者有机会去接触、去了解它
该文主要对移动计算中，移动用户必须同时考虑移动路径的长度和通信质量两个方面影响的问题，提出了一种基于路径长度和可变通信质量的加权综合系数的方法，选择用户移动时的最优路
9月5日上午，中国浦东、井冈山、延安干部学院2009年秋季开学典礼通过视频会议系统同步举行。中共中央政治局委员、中央书记处书记、中央组织部部长、三所干部学院理事会理事长
全球化市场的形成和客户需求的变化提出了组建企业动态联盟的要求，而企业信息系统的现状决定了需要新的技术来支持企业的信息集成。多代理系统的特征使它成为了构造动态联盟的
当下，微课作为新型的学习资源类型，开始被广大师生所使用。“微课”用时短，讲解精要，多媒体呈现，5分钟的享受，更加符合当下学生“速食口味”。将它应用于课堂教学，随之带来了教师的教学形式、学生的学习方式、师生的互动模式等诸多方面的改变，从而也引发了一些思考。 【课堂实录】 一、导入（用时4分钟） 师：今天这节课，我们要来学习《圆柱的体积》。通过观看微课视频，你知道了什么呢？生：圆柱的体积= 底面
<正>妊娠糖尿病（GDM）是一种由多种因素导致糖代谢异常的妊娠并发症,通常发生在妊娠中晚期,属于高危妊娠。近年来,国内外GDM的发病率有逐年上升的趋势[1]。随着妊娠的进展,母体