论文部分内容阅读
本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则，以此为基础，提出了一种层次式功能理解方法，并讨论了基估ＨＯＳ规格说明的语义验证和复用方面的应用。
HOS规格说明的功能理解及其应用
【摘 要】
：
本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则，以此为基础，提出了一种层次式功能理解方法，并讨论了基估ＨＯＳ规格说明的语义验证和复用方面的应用。
【机 构】
：
南京大学计算机软件研究所
【出 处】
：
软件学报
【发表日期】
：
1995年12期
其他文献
在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正
限制理论是形式化常识知识并进行常识推理的一种重要方法。本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器，按面向对象逻辑语言的语义运
网络音视频十分丰富，语文老师可以信手拈来作为语文教学的素材和触发点；语文教学就应把学生的学习引向课外，引入知识的海洋，利用网络资源使有限的课内资源和无限的课外信息完美结
英语教育的目标不仅在于接受,更在于创造,学生的创造思维的形成又与学生本人的文化素养是成正比的,新课标更关注对学生评价方式的多样化,老师要多方位为提高教与学的创新创设
根据不同的助焊剂性能特点,总结了溶剂、活性剂、触变剂、抗氧化剂等在助焊剂成分中的研究进展,对无铅焊膏逐渐取代含铅焊膏的现状进行了分析,同时探究助焊剂的成分配比和铺
自动化控制技术是电厂设备管理水平的重要指标。为达到减少人为误操作几率、减少工作量和人力投入的目的,通过对自动化控制技术的完善,必要设备安全、可靠性的提高,以及明确
人体建模是计算机人体动画中的基础问题，本文给出了以多面体组合建立粗略人体，用多面休细分割来逼近真实人体面的方法，并在建模中考虑了人体的动态特性，为建立人体动画模型创造了