Sound and complete rules for data reification  

作　　者：吕建 

机构地区：[1]Stale Key Laboratory for Novel Software Technology, Institute of Computer Software, Nanjing University,Nanjing 210093, China

出　　处：《Science China(Technological Sciences)》1997年第4期379-386,共8页中国科学（技术科学英文版）

基　　金：Project supported by the National Science Foundation for Excellent Young Scientists, Trans-Century Training Programme Foundation for the Talents and the National Climbing Program.

摘　　要：The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the retrieve function approach in VDM is extended and the biased model and non-determinacy can be treated in some sense

关 键 词：DATA REIFICATION VDM simulation. 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]