PCTE模式及其形式定义问题  

作　　者：郭宜斌 

出　　处：《计算机与信息处理标准化》1995年第4期14-32,共19页

摘　　要：本文探讨了ＰＣＴＥ模式的表达，形式定义及其理解问题。侧重说明ＶＤＭ－ＳＬ在ＰＣＴＥ规格中的作用，能力和局限性，我们的结论是：包括ＶＤＭ－ＳＬ在内的现有定义手段，尚不足以全面准确地给出多级描述。

关 键 词：PCTE 软件开发 接口 数据模型 

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