首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  自动化技术   2篇
  2003年   1篇
  2002年   1篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
采用形式化技术的软件再工程   总被引:4,自引:0,他引:4  
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。  相似文献
2.
为基于遗留系统特征的软件再工程提出了一种统一的方法。该方法基于一种名为RWSL广谱语言的构架。该语言具有很好的形式语义。提出了该方法从源代码到规约的体系结构和工作流,并定义了RWSL的结构。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号