程序抽象相关硕士博士期刊学术论文 - 搜论网

程序抽象相关论文

需求模型和程序间行为一致性的比较检测

在软件的开发过程中,需求和程序分别是头尾两个阶段的软件形态。人们最终的目的就是要将需求转换为程序。在现今技术条件下,这一转......

学位

并发状态机程序分析程序抽象模型同态模型比较检测

面向对象逆向工程中动态模型的研究与设计

随着软件规模的不断扩大和软件工程复杂程度的不断提升,人们对遗产系统的理解变得越来越困难,导致软件维护成本高、复用率低的困境......

学位

逆向工程程序理解程序抽象遗产系统理解

看过本文同时还关注