论文部分内容阅读
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法.
采用形式化技术的软件再工程
【摘 要】
：
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法.
【机 构】
：
云南大学信息技术研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
云南省院省校合作项目;
其他文献
因时光流转，岁月侵蚀，曾经繁荣的古村落渐渐衰落，遗存的古建筑也受到不同程度的破坏。为了避免有历史价值的古村继续消亡，必须找出一个合理有效的保护模式，既对古建筑加以保护，同时
兰渝铁路多座隧道施工中受到高地应力影响，造成初期支护喷射砼开裂掉块、钢架扭曲变形、仰拱填充砼隆起等破坏现象。隧道区域原岩应力较大且以水平构造应力为主，施工过程中通过
随着经济不断发展，城市高层建筑数量越来越多，对高层建筑施工提出了更高要求，以满足社会发展需求，促进人们生活水平不断提高。本文就高层建筑的施工特点进行阐述，提出高层建筑的施
研究利用稻加工大米的副产品碎米为主要原料,加入麦芽、加酶,进行液化、糖化、发酵等工艺,研制出一种发酵营养型软饮料.本产品与啤酒相比,可减少原料总用量的17%,减少麦芽用
要让建筑给排水消防设计更为科学合理，需要很好的处理一些核心技术问题。首先，对于消防给排水系统的选择要合适，可以根据建筑体的结构特点以及一些具体的因素做出合理的选择。同
基于瞬时无功功率理论提出了一种应用高通滤波器同时检测高次谐波电流和无功电流的新方法.利用Matlab仿真软件建立仿真模型,进行计算机仿真研究,仿真结果初步证明了该方法的
在建筑工程施工中，地下室防水施工技术及防渗漏技术成为了施工技术难题，严重困扰着建筑工程的发展。为此，本文对建筑工程地下室防水施工技术存在的问题进行了分析，同时提出了具体
本文作者结合实际工作经验，探讨分析了相应的施工技术措施，其中包括施工准备工作，现场安装技术，安装调试技术等内容，介绍了相应的安装步骤，指出了安装施工中需要注意的问题，供大家参