PCTE模式及其形式定义问题

• 作者: 郭宜斌
• 来源期刊: 计算机与信息处理标准化
• 学科: 工学
• 关键词: PCTE 软件开发 接口 数据模型
• 年，卷（期）: jsjyxxclbzh_1995,（4）
• 页码范围: 14-32
• 页数: 19页
• 分类号: TP311.52

摘要

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