抽象程序相关论文
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）,如set,list,map及其上的操作.具体程序使用类C......
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可......
不同内涵的正义包括人与人之间的明确界分、一定所得关系、某种分配尺度三个共性内容。马克思与罗尔斯正义理论的建构模式截然不同......
框架方法常常用于复杂软件的研制,为充分利用集群计算资源,减小堆芯并行计算软件的研制难度,该方法被引入至核动力工程软件的研发......
