论文部分内容阅读
数据流分析能够可靠地证明顺序软件以及并发软件中存在的软件。在对软件常见错误性质进行归纳的基础上，提出了软件正则性与非正则性的概念，并提出了顺序软件和并发软件中数据流的正则性判定准则。该判定准则可以用来判断一个软件的数据是否正常，也是稀量软件可靠性的一个重要尺度。
SDL数据流的正则性判定准则
【摘 要】
：
数据流分析能够可靠地证明顺序软件以及并发软件中存在的软件。在对软件常见错误性质进行归纳的基础上，提出了软件正则性与非正则性的概念，并提出了顺序软件和并发软件中数据流
【机 构】
：
北京邮电大学程控交换与通信网国家重点实验室
【出 处】
：
北京邮电大学学报
【发表日期】
：
1996年3期
【基金项目】
：
国家重点实验室开放课题基金,邮电部中青年科研基金
其他文献
在语文课堂教学中，为了巩固学生对课文的理解，提高他们的写作水平，可以采用即兴写作的方式。在作文教学中，也需要在有计划、有步骤训练的基础上，重视即兴作文的指导。只有这样，才能
本文围绕1999年高等教育大扩招以来教育质量问题提出了自己的观点，并对提高高等教育人才培养质量提出了几点建议：一是突破课堂教学这个瓶颈；二是做好两个接口，即学校与社会的接口
一、考点阐释 文学类文本的阅读是高考语文试题中最能够集中体现语文课程人文性的考题。本大题注重学生的审美体验，要求学生能感受形象，品味语言，领悟内涵，分析艺术表现力；理解作
近年来，我国电信诈骗案件保持快速增长势头，且呈现出新的特点。监管部门对电信诈骗的重拳整治仍难以遏制爆发式增长的电信诈骗犯罪活动。从监管、技术、法制等几个层面探索深入
基于Bellman-Ford最短路径算法提出了一种修改的QoS路由选择算法，给出了仿真结果，并与其它QoS路由选择算法进行了比较，进一步表明了所提出算法的有效性.
根据ＥｌＧａｍａｌ数字签名方案设计了一种新的基于离散对数问题的有序多重数字签名方案和广播多重数字签名方案。这种新的方案具有简单的初发中化过程，在签名时具有随机性，因此具有更高的实
对高职非计算机专业学生实行1＋X模式培养，有助于解决目前高职院校非计算机专业教学中存在的一些问题，切实增强学生计算机应用能力，提高学生的综合素质，使学生毕业后能迅速适应岗位
大学生就业实习基地的创建搭建了学校与企业就业合作平台,可为企业更好地选才、用才,为学校教育教学改革提供指导,增强大学生"就业适应力",促进高校毕业生良性就业。大学生就
以往对高等教育效率的理解带有明显的经济思维取向，教育效率的社会学意义被忽视。在社会学的视域下，高等教育的效率应从高等教育的目的达成和功能实现程度来考察。具体而言，合目