论文部分内容阅读
软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方面对Ｚ语言规格说明加以检验，使能尽早发现错误，提高软件正确性、降低开发开销。
Z语言模式正确性的检验
【摘 要】
：
软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方面对Ｚ语言规格说明加以检验，使能尽早发现错误，提高软件正确性、降低开发开销
【机 构】
：
上海大学计算机系
【出 处】
：
计算机工程
【发表日期】
：
1995年5期
【基金项目】
：
国家863计划资助,上海市高校科技发展基金
其他文献
本文对并行程序性能分析作了更为深入的研究，提出了一些比较新颖的方法，使分析结果更加接近实际多机系统，具体地说，本文对并行程序的确定性能分析作了改进，引进了随机分析方法，这是
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着农业现代化建设水平的不断提升,农业生产取得了长足的发展。种子,作为与农业生产最紧密的因素,在农业生产中的重要程度也日趋上升。种子的好坏直接影响着农业生产的质量
选取18头患不同程度隐性乳房炎奶牛和6头健康奶牛为试验动物,采集乳汁,分离乳清,利用比色法检测乳清中LDH、NAG活性,研究奶牛隐性乳房炎发病与乳清中LDH、NAG活性的关系。结
诗圣·诗眼·气象对四川人民有特殊感情的诗圣杜甫，在他的七言诗的诗眼（每句第五个字）里，广泛使用了气象词，使诗句乃至全诗更加突出，更加有力，更加辉煌。列举十条，请广大读者
本文第一次比较全面、系统与科学地论述与阐释了汉语“广告”一词及其含义在中国历史长河里的发展流变。首先,从中国文字起源与文化传播视角,对汉字“广”“告”两字本义进行
本文根据35年100hPa资料的分析,将极她环流用各纬主要波动谐波系数距平值的12个特征量来表示,它们具有极涡位置、形状、强度的特征。极涡特征量的趋势变化与四川长期天气趋势
一、智能电厂的概念智能电厂,是基于“计算机技术、大数据技术、物联网技术、通讯技术、控制技术、云计算与服务、移动应用、可视化技术与人工智能(专家知识库)”高度融合的
参数化设计是提高设计效率、减少重复劳动的有效方法，本文从参数化设计的基本思想出发，根据自由度理论及表壳设计的特点，给出了组合线文法和表壳参数定义规则，提出了表壳参数化设计系统的总体结构及实现方法．